pub type Lanes = Vec<i32>;
Expand description

Maps each lane to the dimension it is “handled by” at some time $t$. If value is $0$, then the lane is not “active”.