Module `Semigroup.V`

module I : sig ... end

val associativity : Bastet.Int.Multiplicative.Semigroup.t -> Bastet.Int.Multiplicative.Semigroup.t -> Bastet.Int.Multiplicative.Semigroup.t -> bool