sig
val eprints : string -> 'a -> ('a -> Sexplib.Sexp.t) -> unit
val eprint : string -> unit
module Make :
functor (M : sig end) ->
sig
val check_invariant : bool ref
val show_messages : bool ref
val debug :
't Invariant.t ->
module_name:string ->
string ->
't list ->
'args ->
('args -> Sexplib.Sexp.t) ->
('result -> Sexplib.Sexp.t) -> (unit -> 'result) -> 'result
end
end