def construct

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

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

import Base

661def construct(+input: List<&2, U32>) -> ConstructResult<input>:
662  construct.ranked(input, bool_case(Nat.is_le(rank_dimensions(input), 4n)))

Uses (7)

Used by (43)