ast_kind
ast_print_mode
Context objects.
decl_kind
error_code
goal_prec
lbool
param_kind
Parameters of func_decls
parameter_kind
sort_kind
symbol_kind