def Vec.of

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

import Base

450# Vec<n> from a list, only if it has exactly n numbers
451def Vec.of(n: Nat, +xs: List<&2, F32>) -> Maybe<&2, Vec<n>>:
452  Vec.of2(n, len.eq(xs, n), xs)