Up

Module Make = Core_kernel.Debug.Make

Parameters

Signature

val check_invariant : bool Pervasives.ref

Whether the invariants are called on each invocation

val show_messages : bool Pervasives.ref

If true, you get a message on stderr every time debug is called

val debug : 't Core_kernel.Invariant.t -> module_name:string -> string -> 't list -> 'args -> ('args -> Sexplib.Sexp.t) -> ('result -> Sexplib.Sexp.t) -> (unit -> 'result) -> 'result

We avoid labels so that the applications are more concise -- see example above