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:
module Sexpable:
module Hashable_sexpable: