Module Loop.V

module I : sig ... end
val identity : Int.Multiplicative.Loop.t -> bool