Module Infix.Magma_Any

Parameters

• M : Interface.MAGMA_ANY

Signature

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