Up – bastet » Bastet__Verify » Compare » Quasigroup

Module `Compare.Quasigroup`

Parameters

Q : Bastet.Interface.QUASIGROUP
E : Bastet.Interface.EQ with type t = Q.t

Signature

module I : sig ... end

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