hasFlag
Denotation
hashCode
Equality
File
Snippet
CompilerMessage
Error
Success
Denotation
SemanticException
Unknown
Method
Self
Term
TermParameter
Type
TypeParameter
Global
Local
Multi