def widen

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

import Base

30def widen(+outer: Nat, pick: Maybe<&2, Pick>) -> Maybe<&2, Pick>:
31  match pick:
32    case None{}:
33      None{}
34    case Some{found}:
35      Some{widened(outer, found)}