module Couple: functor (D1 : Project.Datatype.S) -> functor (D2 : Project.Datatype.S) -> S with type t = D1.t * D2.t
functor (
D1
:
Project.Datatype.S
) ->
D2
S
with type t = D1.t * D2.t