flux_core/ops/
range.rs

1
2
3
4
5
6
7
8
9
10
use flux_attrs::*;

#[extern_spec(core::ops)]
#[refined_by(start: Idx, end: Idx)]
struct Range<Idx> {
    #[field(Idx[start])]
    start: Idx,
    #[field(Idx[end])]
    end: Idx,
}