Up – bastet » Bastet » Verify » Medial_Quasigroup

Module `Verify.Medial_Quasigroup`

Parameters

Q : Interface.MEDIAL_QUASIGROUP

Signature

include sig ... end

module I : sig ... end

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