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