- a -

• AccessorDecls : Constructor
• Args : Expr
• args : FuncDecl
• Args : FuncInterp.Entry
• Arity : FuncDecl , FuncInterp
• Assertions : Solver
• AST : FuncDecl.Parameter
• ASTKind : AST