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.
module Infix : sig ... end