sig
  val check_invariant : bool ref
  val show_messages : bool 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