Searched refs:type_nat_term (Results 1 – 6 of 6) sorted by relevance
91 type_nat_term, enumerator
520 PARSE_INIT (type_nat_term); in parse_nat_term()1559 assert (T->type == type_nat_term); in tl_parse_nat_term()1688 case type_nat_term: in tl_parse_any_term()
94 type_nat_term, enumerator
580 PARSE_INIT (type_nat_term); in parse_nat_term()1619 assert (T->type == type_nat_term); in tl_parse_nat_term()1748 case type_nat_term: in tl_parse_any_term()