def Mat.to_flat

bend-tensors@0.0.0.2 · bend_tensors.bend:2219

import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensors

import Base

2219def Mat.to_flat(+rows: Nat, +cols: Nat, m: Mat<rows, cols>) -> Flat<rows, cols>:
2220  Flat.from_list(rows, cols, Mat.to_list(rows, cols, m))

Uses (5)

Used by (0)

No other definition uses this definition.