Functor Datatype.Triple


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
Parameters:
D1 : Project.Datatype.S
D2 : Project.Datatype.S
D3 : Project.Datatype.S