language-server/tools.samt.ls/SamtLanguageServer/initialized

initialized

open override fun initialized(params: InitializedParams)