Searched refs:remove_prefix (Results 1 – 2 of 2) sorted by relevance
86 void remove_prefix(int n) { in remove_prefix() function
1012 tail.remove_prefix(1); // "("; in operator ==()1020 tail.remove_prefix(param.length()); in operator ==()1026 tail.remove_prefix(1); // ")"; in operator ==()