Binsec_codex_lib.Codex_logger
module Alarm_record : sig ... end
module type Binsec_logger_S = sig ... end
include Binsec_logger_S
Emit a check notification, i.e. inform the log reader that an alarm may follow.
Emit an alarm, i.e. a notification that the code could not be proved conform to the specification.
val alarm_record : unit -> Alarm_record.t
Logger to be used specifically by the libase library.