def filled

bendtorch-core@0.1.0.0 · src/tensor/signed.bend:104

import Base

104# The sizes, each Inferred one replaced by `size`.
105def filled(extents: List<&2, Extent>, +size: U32) -> List<&2, U32>:
106  match extents:
107    case Nil{}:
108      Nil{}
109    case Exact{extent} <> tail:
110      extent <> filled(tail, size)
111    case Inferred{} <> tail:
112      size <> filled(tail, size)