~/jendhub

def construct.bound

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

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

643def construct.bound(-input: List<&2, U32>, +size: Nat, exact: {size == logical_numel(input) : Nat}, bound: {True{} == Nat.is_le(size, 1048576n) : Bool}) -> LE(logical_numel(input), 1048576n):
644  %exact : LE(_, 1048576n)
645  LE.from(size, 1048576n, bound)

Uses (8)

Used by (1)