Searched refs:PARSE_TRY_OPT (Results 1 – 3 of 3) sorted by relevance
513 PARSE_TRY_OPT (parse_type_ident); in parse_term()514 PARSE_TRY_OPT (parse_var_ident); in parse_term()515 PARSE_TRY_OPT (parse_nat_const); in parse_term()745 PARSE_TRY_OPT (parse_args1); in parse_args()746 PARSE_TRY_OPT (parse_args2); in parse_args()747 PARSE_TRY_OPT (parse_args3); in parse_args()748 PARSE_TRY_OPT (parse_args4); in parse_args()765 PARSE_TRY_OPT (parse_final_new); in parse_final_decl()766 PARSE_TRY_OPT (parse_final_final); in parse_final_decl()767 PARSE_TRY_OPT (parse_final_empty); in parse_final_decl()[all …]
573 PARSE_TRY_OPT (parse_type_ident); in parse_term()574 PARSE_TRY_OPT (parse_var_ident); in parse_term()575 PARSE_TRY_OPT (parse_nat_const); in parse_term()805 PARSE_TRY_OPT (parse_args1); in parse_args()806 PARSE_TRY_OPT (parse_args2); in parse_args()807 PARSE_TRY_OPT (parse_args3); in parse_args()808 PARSE_TRY_OPT (parse_args4); in parse_args()825 PARSE_TRY_OPT (parse_final_new); in parse_final_decl()826 PARSE_TRY_OPT (parse_final_final); in parse_final_decl()827 PARSE_TRY_OPT (parse_final_empty); in parse_final_decl()[all …]