Searched refs:push_type_int (Results 1 – 3 of 3) sorted by relevance
215 extern void push_type_int (int);
1102 push_type_int ($2);1108 push_type_int ($1);
1492 push_type_int (int n) in push_type_int() function