def route

bendtorch-core@0.1.0.0 · src/storage/refinement.bend:230

import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model
import bendtorch-core@0.1.0.0/src/storage/size.bend as Size

230def route(+d: Nat, i: U32) -> Model.Path(d):
231  route_n(d, Size.capacity(d), i)