Module `Compare.Medial_Magma`

Parameters

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

Signature

module V : sig ... end

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