def word_at

bendtorch-core@0.1.0.0 · src/autograd/reduce_LAWS.bend:16

import Base

16def word_at(values: List<&2, F32>, +position: Nat) -> Maybe<&2, F32>:
17  match values position:
18    case Nil{} _:
19      None{}
20    case value <> rest 0n:
21      Some{value}
22    case value <> rest 1n+next:
23      word_at(rest, next)