flux_core/ops/
range.rs

1use flux_attrs::*;
2
3#[extern_spec(core::ops)]
4#[refined_by(start: Idx, end: Idx)]
5struct Range<Idx> {
6    #[field(Idx[start])]
7    start: Idx,
8    #[field(Idx[end])]
9    end: Idx,
10}