module Pair: functor (M1 : S) -> functor (M2 : S) -> S with type t = M1.t * M2.t
functor (
M1
:
S
) ->
M2
with type t = M1.t * M2.t
type t
val append : t -> t -> t
t -> t -> t
val zero : t
t