type Fits.Step

bendtorch-core@0.1.0.0 · src/shape/coordinate_proofs.bend:7

import Base

7type Fits.Step<-dh: Nat, -dt: List<&2, Nat>, -vh: Nat, -vt: List<&2, Nat>> is Data:
8  FStep{bound: {True{} == Nat.is_lt(vh, dh) : Bool}, tail: Fits(dt, vt)}