Gmap.Order
Ordering.
type (_, _) t
=
|
Lt : ('a, 'b) t
Eq : ('a, 'a) t
Gt : ('a, 'b) t
The ordering type embedding type equality for Eq.
Eq