`sig
val eprint : string -> unit
val eprints : string -> 'a -> ('a -> Sexplib.Sexp.t) -> unit
val eprintf : ('r, unit, string, unit) Pervasives.format4 -> 'r
module Make :
functor () ->
sig
val check_invariant : bool Pervasives.ref
val show_messages : bool Pervasives.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`