Up – bastet » Bastet » Test » Option » M » Compare » Euclidean_Ring

Module `Compare.Euclidean_Ring`

Parameters

E : Interface.EUCLIDEAN_RING
EQ : sig ... end
A : sig ... end

Signature

module V : sig ... end

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