Up – fix » Fix » Glue » InjectOrderedType

Module `Glue.InjectOrderedType`

Parameters
Signature

Parameters

module U : Map.OrderedType

module I : sig ... end

Signature

type t = I.t

val compare : t -> t -> int