def at

stelliferous@0.0.2.0 · tensor_file.bend:185

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile

import Base

185def at(bytes: List<&2,U32>,index: Nat) -> U32:
186  match bytes index:
187    case Nil{} index: 0
188    case Con{byte,rest} 0n: byte
189    case Con{byte,rest} 1n+before: at(rest,before)

Uses (3)

Used by (2)