PageState
constructor(id: PageId, title: String, content: PageContent, query: QueryState = QueryState(), configuration: PageConfiguration = PageConfiguration(), solverSession: SolverSessionState = SolverSessionState(), resolution: ResolutionState = ResolutionState(), history: PageHistoryState = PageHistoryState(), console: ConsoleState = ConsoleState(), diagnostics: DiagnosticState = DiagnosticState(), semanticTokens: List<SemanticToken> = emptyList(), features: Map<FeatureId, PageFeatureState> = emptyMap())