Module Quasigroup.V

module I : sig ... end
val cancellative : QG.t -> QG.t -> QG.t -> bool