Functor Import.Debug

module Debug: 
functor (M : sig
end) -> sig .. end
Parameters:
M : sig end

val check_invariant : bool Pervasives.ref
val show_messages : bool Pervasives.ref
val debug : ('a -> unit) ->
Core.Std.String.t ->
Core.Std.String.t ->
'a Core.Std.List.t ->
'b -> ('b -> Sexplib.Sexp.t) -> ('c -> Sexplib.Sexp.t) -> (unit -> 'c) -> 'c