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