Runtime (ppx_assert.ppx_assert.runtime-lib.Ppx_assert

type 'a test_pred =
  ?here:Lexing.position Base.list ->
  ?message:Base.string ->
  ('a -> Base.bool) @ local ->
  ('a ->
  Base.unit) @ local

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

type ('a : value_or_null) test_result =
  ?here:Lexing.position Base.list ->
  ?message:Base.string ->
  ?equal:('a -> ('a -> Base.bool) @ local) @ local ->
  (expect:'a ->
  ('a ->
  Base.unit) @ local) @ local

val test_pred : 
  'a. pos:Base.string ->
  sexpifier:('a -> Base.Sexp.t) @ local ->
  (here:Lexing.position Base.list ->
  (?message:Base.string ->
  (('a -> Base.bool) @ local ->
  ('a ->
  Base.unit) @ local) @ local) @ local) @ local

val test_eq : 
  'a. pos:Base.string ->
  sexpifier:('a -> Base.Sexp.t) @ local ->
  (comparator:('a -> ('a -> Base.int) @ local) @ local ->
  (here:Lexing.position Base.list ->
  (?message:Base.string ->
  (?equal:('a -> ('a -> Base.bool) @ local) @ local ->
  ('a ->
  ('a ->
  Base.unit) @ local) @ local) @ local) @ local) @ local) @ local

val test_result : 
  'a. pos:Base.string ->
  sexpifier:('a -> Base.Sexp.t) @ local ->
  (comparator:('a -> ('a -> Base.int) @ local) @ local ->
  (here:Lexing.position Base.list ->
  (?message:Base.string ->
  (?equal:('a -> ('a -> Base.bool) @ local) @ local ->
  (expect:'a ->
  (got:'a ->
  Base.unit) @ local) @ local) @ local) @ local) @ local) @ local

val set_diff_function : 
  (from_:Base.string -> to_:Base.string -> Base.unit) Base.option @ portable ->
  Base.unit @@ portable

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