Module Compare.Euclidean_Ring
Parameters
E : Interface.EUCLIDEAN_RINGEQ : Interface.EQ with type t = E.tA : ARBITRARY with type t := E.t and type 'a arbitrary := 'a Q.arbitrary
Signature
module V : sig ... endCompare.Euclidean_RingE : Interface.EUCLIDEAN_RINGEQ : Interface.EQ with type t = E.tA : ARBITRARY with type t := E.t and type 'a arbitrary := 'a Q.arbitrarymodule V : sig ... end