Module Bastet__Infix.Magma

Parameters

• M : Bastet.Interface.MAGMA

Signature

val (<:>) : M.t -> M.t -> M.t