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