sig
  val test_pred :
    pos:Lexing.position ->
    sexpifier:('-> Sexplib.Sexp.t) ->
    here:Lexing.position list ->
    ?message:string -> ('-> bool) -> '-> unit
  val test_eq :
    pos:Lexing.position ->
    sexpifier:('-> Sexplib.Sexp.t) ->
    comparator:('-> '-> int) ->
    here:Lexing.position list ->
    ?message:string -> ?equal:('-> '-> bool) -> '-> '-> unit
  val test_result :
    pos:Lexing.position ->
    sexpifier:('-> Sexplib.Sexp.t) ->
    comparator:('-> '-> int) ->
    here:Lexing.position list ->
    ?message:string ->
    ?equal:('-> '-> bool) -> expect:'-> got:'-> 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