Parsing.TBPrims.Patterns
Classes
Args
AxiomStmt
Expr
FTLArrow
FuncStmt
FuncType
KonsStmt
TBStmt
VarDecl
VarOrFCall