def Mat.print

bendtorch@1.3.0.0 · main.bend:1038

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

1038# one line: the name, then each number as the decimal of its 32 bits (exact, for the tests in reference/)
1039def Mat.print(+r: Nat, +c: Nat, +name: String, m: TA.Mat<r, c>) -> IO(Unit):
1040  IO.print(name ++ ml_words(r, c, TA.Mat.to_list(r, c, m)))