language-server/tools.samt.ls/SamtWorkspaceService/SamtWorkspaceService

SamtWorkspaceService

constructor(workspace: SamtWorkspace)