Module Quasigroup.V
module I : sig ... endval cancellative : Bastet.Float.Additive.Quasigroup.t -> Bastet.Float.Additive.Quasigroup.t -> Bastet.Float.Additive.Quasigroup.t -> bool
Quasigroup.Vmodule I : sig ... endval cancellative : Bastet.Float.Additive.Quasigroup.t -> Bastet.Float.Additive.Quasigroup.t -> Bastet.Float.Additive.Quasigroup.t -> bool