Bendtorch.f32_at: def of bendtorch@1.3.0.0
Import: import bendtorch@1.3.0.0/main.bend as Bendtorch
Lines 3517-3524 of bendtorch@1.3.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/main.bend&start_line=3517&end_line=3524

import Base

def f32_at(xs: List<&2, F32>, n: Nat) -> F32:
  match xs n:
    case Con{x, t} 0n:
      x
    case Con{x, t} 1n+q:
      f32_at(t, q)
    case Nil{} _:
      0.0

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat