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