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