def mat_of_

mlbend-preprocess@0.1.0.0 · main.bend:125

import Base
import bend-ml-tensor@0.1.0.0/main.bend as T

125# A matrix of r rows of c numbers, when there is one.
126def mat_of_(+r: Nat, +c: Nat, m: Maybe<&2, T.Mat<r, c>>) -> T.Mat<r, c>:
127  match m:
128    case Some{v}:
129      v
130    case None{}:
131      T.Mat.fill(r, c, 0.0)