Module Ring.V

module I : sig ... end
val additive_inverse : Bastet.Int.Ring.t -> bool