Up – bastet » Bastet__Verify » Quasigroup_Any

Module `Bastet__Verify.Quasigroup_Any`

Parameters

Q : Bastet.Interface.QUASIGROUP_ANY

Signature

include sig ... end

module I : sig ... end

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