Searched refs:remove_prefix (Results 1 – 2 of 2) sorted by relevance
675 tail.remove_prefix(1); // "("; in operator ==()683 tail.remove_prefix(param.length()); in operator ==()689 tail.remove_prefix(1); // ")"; in operator ==()
94 void remove_prefix(size_type n) { in remove_prefix() function