Module Ppx_assert_lib.Runtime

Types used in the generated code

type 'a test_pred = ?here:Lexing.position list ‑> ?message:string ‑> ('a ‑> bool) ‑> 'a ‑> unit

type 'a test_eq = ?here:Lexing.position list ‑> ?message:string ‑> ?equal:('a ‑> 'a ‑> bool) ‑> 'a ‑> 'a ‑> unit

type 'a test_result = ?here:Lexing.position list ‑> ?message:string ‑> ?equal:('a ‑> 'a ‑> bool) ‑> expect:'a ‑> 'a ‑> unit

Functions called by the generated code

val test_pred : pos:string ‑> sexpifier:('a ‑> Sexplib.Sexp.t) ‑> here:Lexing.position list ‑> ?message:string ‑> ('a ‑> bool) ‑> 'a ‑> unit

val test_eq : pos:string ‑> 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:string ‑> 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

Called to set/unset the diff function, used by test_result