Functor Fsautil.MakeOrderedSetPair

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