electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
val electrod_src : Logs.src

Creates the logging "source" for the electrod library (not the whole application). Defines functions: debug, info, err, warn

let univ_duplicate_atoms args =
  info @@ fun m -> args @@ fun written actual ->
  m "univ contains duplicate atoms: %a\n\
     ignoring them and continuing with this: %a"
    (Atom.pp_list) written
    (Atom.pp_list) actual
module M : Logs.LOG
include module type of struct include M end

Log functions

val msg : Logs.level -> 'a Logs.log
val app : 'a Logs.log

app is msg App.

val err : 'a Logs.log

err is msg Error.

val warn : 'a Logs.log

warn is msg Warning.

val info : 'a Logs.log

info is msg Info.

val debug : 'a Logs.log

debug is msg Debug.

val kmsg : ( unit -> 'b ) -> Logs.level -> ( 'a, 'b ) Logs.msgf -> 'b

Logging result value Errors

val on_error : ?level:Logs.level -> ?header:string -> ?tags:Logs.Tag.set -> pp:( Format.formatter -> 'b -> unit ) -> use:( 'b -> 'a ) -> ( 'a, 'b ) result -> 'a
val on_error_msg : ?level:Logs.level -> ?header:string -> ?tags:Logs.Tag.set -> use:( unit -> 'a ) -> ( 'a, [ `Msg of string ] ) result -> 'a