Module match
Classes
Annos
Appl
ApplCons
Nil
TermSet
Functions
Anno
ApplName
ApplNames
Cons
ConsL
ConsR
Int
List
Real
Str
StrSet
Term
Var
Variables
aList
aReal
aStr
anAppl
anInt
empty
four
nil
one
three
two
zero