Functor Fsautil.MakeOrderedSetPair


module MakeOrderedSetPair: 
functor (Ordered : Set.OrderedType) -> Set.OrderedType with type t = (Ordered.t * Ordered.t)
Parameters:
Ordered : Set.OrderedType