Module Medial_Magma.V
module I : sig ... endval bicommutativity : Bastet.Int.Additive.Medial_Magma.t -> Bastet.Int.Additive.Medial_Magma.t -> Bastet.Int.Additive.Medial_Magma.t -> Bastet.Int.Additive.Medial_Magma.t -> bool
Medial_Magma.Vmodule I : sig ... endval bicommutativity : Bastet.Int.Additive.Medial_Magma.t -> Bastet.Int.Additive.Medial_Magma.t -> Bastet.Int.Additive.Medial_Magma.t -> Bastet.Int.Additive.Medial_Magma.t -> bool