Module Bastet__Tuple.Magma

Parameters

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

Signature

type t = First.t * Second.t

val append : t -> t -> t