def drop_step

bendtorch@1.3.0.0 · main.bend:1272

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

1272def drop_step(+op: Opt, d: DropP, g: DropP, st: OptState<DropP>) -> Step<DropP>:
1273  match d:
1274    case DropP{t}:
1275      Step{DropP{(t + 1 : U32)}, g, st}

Uses (6)

Used by (1)