- a -

• ABORT : queryresult.h
• ABORTED : xchaff_solver.h
• AND : kinds.h
• AND_R : kinds.h
• ANY_TYPE : kinds.h
• APPLY : kinds.h
• ARRAY : theory_array.h
• ARRAY_LITERAL : theory_array.h
• ARROW : kinds.h
• ASSERT : kinds.h
• ASSERTIONS : kinds.h
• ASSUMPTIONS : kinds.h
• AST_LANG : lang.h

---