Module Medial_Magma.I

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