def f32_at
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
3517def f32_at(xs: List<&2, F32>, n: Nat) -> F32:
3518 match xs n:
3519 case Con{x, t} 0n:
3520 x
3521 case Con{x, t} 1n+q:
3522 f32_at(t, q)
3523 case Nil{} _:
3524 0.0
Uses (3)
Used by (0)
No other definition uses this definition.