Up – bastet » Bastet__Verify » Quasigroup

Module `Bastet__Verify.Quasigroup`

Parameters

Q : Bastet.Interface.QUASIGROUP

Signature

include sig ... end

module I : sig ... end

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