Module `Quasigroup.V`

module I : sig ... end

val cancellative : Float.Additive.Quasigroup.t -> Float.Additive.Quasigroup.t -> Float.Additive.Quasigroup.t -> bool