Module Dmap.ToOrdered

Functor that converts a DORDERED into an ordered type

Parameters

module X : DORDERED

Signature

type t =
  1. | Hide : 'a X.t -> t
val compare : t -> t -> int