CCEqual
val poly : 'a t
Standard polymorphic equality.
val physical : 'a t
Standard physical equality.
val int : int t
val string : string t
val bool : bool t
val float : float t
val unit : unit t
map f eq
is the equality function that, given objects x
and y
, projects x
and y
using f
(e.g. using a record field) and then compares those projections with eq
. Example: map fst int
compares values of type (int * 'a)
by their first component.
val always_eq : _ t
Always returns true. All values are equal.
val never_eq : _ t
Always returns false. No values are, so this is not even reflexive (i.e. x=x
is false). Be careful!
module Infix : sig ... end