Module Compare.Euclidean_Ring
Parameters
E : Bastet.Interface.EUCLIDEAN_RINGEQ : Bastet.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 : Bastet.Interface.EUCLIDEAN_RINGEQ : Bastet.Interface.EQ with type t = E.tA : ARBITRARY with type t := E.t and type 'a arbitrary := 'a Q.arbitrarymodule V : sig ... end