def construct.ranked

bendtorch-core@0.1.0.0 · src/shape/core.bend:654

import bendtorch-core@0.1.0.0/src/shape/core.bend as Core

import Base

654def construct.ranked(+input: List<&2, U32>, decision: BoolCase<Nat.is_le(rank_dimensions(input), 4n)>) -> ConstructResult<input>:
655  match decision:
656    case BFalse{equal}:
657      SError{RankExceeded{}}
658    case BTrue{equal}:
659      construct.capacity(input, LE.from(rank_dimensions(input), 4n, equal), capacity(naturals(input)))

Uses (11)

Used by (2)