internal Version(Version prev) { this.provider = prev.provider; this.id = unchecked (prev.id + 1); }
internal Version(TextSourceVersionProvider provider) { this.provider = provider; }