def decided

bendtorch-core@0.1.0.0 · src/autograd/gradient.bend:77

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

77def decided(+shape: Shape.Shape, +cursor: Nat, +index: U32, state: State<shape>, rec: State<shape> -> Outcome,
78  decision: Shape.BoolCase<Nat.is_eq(U32.to_nat(index), cursor)>) -> Outcome:
79  match decision:
80    case Shape.BFalse{equal}:
81      conversion_error(shape, state)
82    case Shape.BTrue{equal}:
83      continue_step(shape, rec, step(shape, index, state))