Module `Quasigroup.V`

module I : sig ... end

val cancellative : Bastet.Int.Subtractive.Quasigroup.t -> Bastet.Int.Subtractive.Quasigroup.t -> Bastet.Int.Subtractive.Quasigroup.t -> bool