Module `Compare.Quasigroup`

Parameters

QG : Interface.QUASIGROUP
E : Interface.EQ with type t = QG.t
A : ARBITRARY with type t := QG.t and type 'a arbitrary := 'a Q.arbitrary

Signature

module V : sig ... end

val suite : string -> T.test T.suite