Module Semigroup.V
module I : sig ... endval associativity : Bastet.Functors.OptionF.Int.Additive.Semigroup.t -> Bastet.Functors.OptionF.Int.Additive.Semigroup.t -> Bastet.Functors.OptionF.Int.Additive.Semigroup.t -> bool
Semigroup.Vmodule I : sig ... endval associativity : Bastet.Functors.OptionF.Int.Additive.Semigroup.t -> Bastet.Functors.OptionF.Int.Additive.Semigroup.t -> Bastet.Functors.OptionF.Int.Additive.Semigroup.t -> bool