def widened

bendtorch-core@0.1.0.0 · src/tensor/permute_build.bend:26

import Base

26def widened(+outer: Nat, pick: Pick) -> Pick:
27  Pick{mods, size} = pick
28  Pick{outer <> mods, size}