ASM.txt

Asm#signature
Asm#returnType
Asm#metaInformation
Asm#body
Signature#isMain
Signature#name
Signature#arguments
Body#declarations
Body#initialization
Body#rules
MetaInformation#usedAsIn
MetaInformation#usedAs
MetaInformation#accessUpdateFunctions
Function#parameters
Function#returnType
Function#initTerm
Function#isExternal
Universe#name
Universe#contents
Universe#superUniverses
OperatorTerm#opName
OperatorTerm#leftExp
OperatorTerm#rightExp
ChooseRule#chooseId
ChooseRule#inSet
ChooseRule#guard
ChooseRule#ifChoosenRules
ChooseRule#ifNotChoosenRule
DoForallRule#id
DoForallRule#inSet
DoForallRule#condition
DoForallRule#doRule
ConditionalRule#condition
ConditionalRule#thenRule
ConditionalRule#elseRule
ConditionalRule#elseIfRule
ElseIf#condition
ElseIf#thenRule
ElseIf#elseRule
ElseIf#elseIfRule