Module type Dual.MAGMA_F

Parameters

• M : Interface.MAGMA

Signature

type t = M.t dual

val append : t -> t -> t