sig
  val test_pred :
    pos:Lexing.position ->
    sexpifier:('a -> Sexplib.Sexp.t) ->
    here:Lexing.position list ->
    ?message:string -> ('a -> bool) -> 'a -> unit
  val test_eq :
    pos:Lexing.position ->
    sexpifier:('a -> Sexplib.Sexp.t) ->
    comparator:('a -> 'a -> int) ->
    here:Lexing.position list ->
    ?message:string -> ?equal:('a -> 'a -> bool) -> 'a -> 'a -> unit
  val test_result :
    pos:Lexing.position ->
    sexpifier:('a -> Sexplib.Sexp.t) ->
    comparator:('a -> 'a -> int) ->
    here:Lexing.position list ->
    ?message:string ->
    ?equal:('a -> 'a -> bool) -> expect:'a -> got:'a -> unit
  val set_diff_function : (from_:string -> to_:string -> unit) option -> unit
  val string_of_loc : Lexing.position -> string
  val sexp_of_loc : Lexing.position -> Sexplib.Sexp.t
end