def Vec.of2

bend-ml-tensor@0.1.2.0 · main.bend:443

import bend-ml-tensor@0.1.2.0/main.bend as BendMlTensor

import Base

443def Vec.of2(-n: Nat, ok: Bool, xs: List<&2, F32>) -> Maybe<&2, Vec<n>>:
444  match ok:
445    case True{}:
446      Some{Vec{xs}}
447    case False{}:
448      None{}

Uses (6)

Used by (1)

bend-ml-tensor@0.1.2.0/main:Vec.of