language-server/tools.samt.ls/SamtDeclarationLookup

SamtDeclarationLookup

class SamtDeclarationLookup : SamtSemanticLookup<Location, UserDeclared>

Types

Link copied to clipboard
object Companion

Functions

Link copied to clipboard
operator fun get(key: Location): UserDeclared?
Link copied to clipboard
operator fun set(key: Location, value: UserDeclared)