Module type Tuple.MAGMA_F

Parameters

• First : Interface.MAGMA
• Second : Interface.MAGMA

Signature

type t = First.t * Second.t

val append : t -> t -> t