~/jendhub

def index_value

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

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

684def index_value(-shape: Shape, index: FlatIndex<shape>) -> U32:
685  FIndex{value, bound} = index
686  U32.from_nat(value)

Uses (4)

Used by (22)