def Mat.of2
import bend-ml-tensor@0.1.2.0/main.bend as BendMlTensorimport Base
454def Mat.of2(-r: Nat, -c: Nat, ok: Bool, rs: List<&2, List<&2, F32>>) -> Maybe<&2, Mat<r, c>>:
455 match ok:
456 case True{}:
457 Some{Mat{rs}}
458 case False{}:
459 None{}