Searched defs:AST_VAR (Results 1 – 5 of 5) sorted by relevance
43 const AST_VAR = 256; define
62 AST_VAR enumerator
446 typedef enum { AST_APP, AST_VAR, AST_QUANTIFIER, AST_SORT, AST_FUNC_DECL } ast_kind; enumerator
445 typedef enum { AST_APP, AST_VAR, AST_QUANTIFIER, AST_SORT, AST_FUNC_DECL } ast_kind; enumerator