Module Assert.Make_equalities

Provide equality-based assertions for type X.t

Parameters

module X : EQUALABLE

Signature

type t = X.t
val equal : t check2
val unequal : t check2
val fail : (t, 'a) assertion
module Option : sig ... end
module List : sig ... end
module Array : sig ... end
module List_list : sig ... end