def ml_list

bendtorch@1.3.0.0 · main.bend:1559

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA

1559def ml_list(-r: Nat, -c: Nat, ml: TA.ML<r, c>) -> List<&2, F32>:
1560  match ml:
1561    case TA.ML{m, xs}:
1562      xs

Uses (4)

Used by (0)

No other definition uses this definition.