Lines Matching defs:start_span
2578 typedef poly_span_traits<T1, T2> start_span;
2590 return maybe_lt (start_span::cast (val) - start_span::cast (pos),
2602 typedef poly_span_traits<T1, T2> start_span;
2606 && known_lt (start_span::cast (val) - start_span::cast (pos),
2635 typedef poly_span_traits<T1, T3> start_span;
2652 && known_lt (start_span::cast (pos2)
2653 - start_span::cast (lower_bound (pos1, pos2)),
2655 && known_lt (start_span::cast (pos1)
2656 - start_span::cast (lower_bound (pos1, pos2)),
2670 typedef poly_span_traits<T1, T3> start_span;
2678 && known_le (start_span::cast (pos1) - start_span::cast (pos2),
Indexes created Tue Mar 17 00:23:13 UTC 2026