Searched refs:records_end (Results 1 – 1 of 1) sorted by relevance
397 record_iterator records_end() const { in records_end() function408 return make_range(records_begin(), records_end()); in records()