def offset_step

bendtorch-core@0.1.0.0 · src/storage/model.bend:21

import Base

21def offset_step(b: Bool, half: Nat, tail: Nat) -> Nat:
22  match b:
23    case False{}:
24      tail
25    case True{}:
26      Nat.add(half, tail)