Functor Datatype.Couple


module Couple: 
functor (D1 : Project.Datatype.S) ->
functor (D2 : Project.Datatype.S) -> S with type t = D1.t * D2.t
Consult the Plugin Development Guide for additional details.
Parameters:
D1 : Project.Datatype.S
D2 : Project.Datatype.S