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