Up – bastet » Bastet » Verify » Quasigroup_Any

Module `Verify.Quasigroup_Any`

Parameters

Q : Interface.QUASIGROUP_ANY

Signature

include sig ... end

module I : sig ... end

val cancellative : 'a Q.t -> 'a Q.t -> 'a Q.t -> bool