def drop_load_fin
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
1282def drop_load_fin(+off: U32, r: Array<F32> & F32) -> PA<DropP>:
1283 match r:
1284 case Tuple{a, v}: PA{DropP{bits(v)}, a, (off + 1 : U32)}
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
1282def drop_load_fin(+off: U32, r: Array<F32> & F32) -> PA<DropP>:
1283 match r:
1284 case Tuple{a, v}: PA{DropP{bits(v)}, a, (off + 1 : U32)}