Module Dual.Magma_Any

Parameters

• M : Interface.MAGMA_ANY

Signature

type 'a t = 'a M.t dual

val append : 'a t -> 'a t -> 'a t