Module Flat_tuple_array_debug.Debug.Debug

module Debug: Import.Debug(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