Functor Tuple.Comparable

module Comparable: 
functor (S1 : Comparable_sexpable) -> 
functor (S2 : Comparable_sexpable) -> Comparable.S  with type comparable = S1.comparable * S2.comparable

include Comparable.S_common

module Map: Core_map.S  with type key = comparable

module Set: Core_set.S  with type elt = comparable