functor (M : sig end) ->
sig
val check_invariant : bool Pervasives.ref
val show_messages : bool Pervasives.ref
val debug :
('a -> unit) ->
Std_internal.String.t ->
Std_internal.String.t ->
'a Std_internal.List.t ->
'b ->
('b -> Sexplib.Sexp.t) -> ('c -> Sexplib.Sexp.t) -> (unit -> 'c) -> 'c
end