Module Tuple

module Tuple: sig .. end

module T2: sig .. end

module T3: sig .. end

module type Comparable_sexpable = sig .. end

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

module type Hashable_sexpable = sig .. end

module Hashable: 
functor (S1 : Hashable_sexpable) -> 
functor (S2 : Hashable_sexpable) -> Hashable.S  with type hashable = S1.hashable * S2.hashable

module Sexpable: 
functor (S1 : Sexpable.S) -> 
functor (S2 : Sexpable.S) -> Sexpable.S  with type sexpable = S1.sexpable * S2.sexpable

module Hashable_sexpable: 
functor (S1 : Hashable_sexpable) -> 
functor (S2 : Hashable_sexpable) -> Hashable_sexpable  with type t = S1.t * S2.t