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

didSave

open override fun didSave(params: DidSaveTextDocumentParams)