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