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

initialize

open override fun initialize(params: InitializeParams): CompletableFuture<InitializeResult>