Module `Medial_Magma.V`

module I : sig ... end

val bicommutativity : Bastet.Bool.Disjunctive.Medial_Magma.t -> Bastet.Bool.Disjunctive.Medial_Magma.t -> Bastet.Bool.Disjunctive.Medial_Magma.t -> Bastet.Bool.Disjunctive.Medial_Magma.t -> bool