Module `Compare.Medial_Magma`

Parameters

M : Bastet.Interface.MEDIAL_MAGMA
E : Bastet.Interface.EQ with type t = M.t

Signature

module I : sig ... end

val bicommutativity : M.t -> M.t -> M.t -> M.t -> bool