Module `Ppx_assert_lib.Runtime`

include sig ... end

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

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

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

include sig ... end

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

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

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

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

Module Ppx_assert_lib.Runtime

Module `Ppx_assert_lib.Runtime`