sig
  val eprint : string -> unit
  val eprints : string -> 'a -> ('a -> Sexplib.Sexp.t) -> unit
  val eprintf : ('r, unit, string, unit) format4 -> 'r
  module Make :
    functor (M : sig  end) ->
      sig
        val check_invariant : bool ref
        val show_messages : bool ref
        val debug :
          't Core_kernel.Invariant.t ->
          module_name:string ->
          string ->
          't list ->
          'args ->
          ('args -> Sexplib.Sexp.t) ->
          ('result -> Sexplib.Sexp.t) -> (unit -> 'result) -> 'result
      end
  val am : Core_kernel.Std.Source_code_position.t -> unit
  val ams :
    Core_kernel.Std.Source_code_position.t ->
    string -> 'a -> ('a -> Core_kernel.Std.Sexp.t) -> unit
  val amf :
    Core_kernel.Std.Source_code_position.t ->
    ('r, unit, string, unit) format4 -> 'r
end