Module Compare.Ring
Parameters
R : Interface.RINGE : Interface.EQ with type t = R.t
Signature
module I : sig ... endval additive_inverse : R.t -> bool
Compare.RingR : Interface.RINGE : Interface.EQ with type t = R.tmodule I : sig ... endval additive_inverse : R.t -> bool