module Pair: functor (F : S) -> functor (G : S) -> S with type 'a t = 'a F.t * 'a G.t
functor (
F
:
S
) ->
G
with type 'a t = 'a F.t * 'a G.t