def position_decided

bendtorch-core@0.1.0.0 · src/tensor/axis_spec.bend:35

import bendtorch-core@0.1.0.0/src/tensor/axis_spec.bend as AxisSpec

import Base

35def position_decided(decision: Bool, rec: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
36  match decision:
37    case True{}:
38      Some{0n}
39    case False{}:
40      position_next(rec)

Uses (4)

Used by (2)