~/jendhub

def ml_words

bendtorch@1.3.0.0 · main.bend:1033

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

1033def ml_words(-r: Nat, -c: Nat, m: TA.ML<r, c>) -> String:
1034  match m:
1035    case TA.ML{d, xs}:
1036      words(xs)

Uses (4)

Used by (1)