language-server/tools.samt.ls/SamtTextDocumentService/hover

hover

open override fun hover(params: HoverParams): CompletableFuture<Hover>