Searched refs:remove_prefix (Results 1 – 2 of 2) sorted by relevance
95 void remove_prefix(size_type n) { in remove_prefix() function
2288 tail.remove_prefix(1); // "("; in operator ==()2296 tail.remove_prefix(param.length()); in operator ==()2302 tail.remove_prefix(1); // ")"; in operator ==()