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