Module Medial_Magma.V

module I : sig ... end
val bicommutativity : M.t -> M.t -> M.t -> M.t -> bool