~/jendhub

def position

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

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

106def position(-shape: Shape.Shape, index: Shape.FlatIndex<shape>) -> Nat:
107  Shape.FIndex{value, bound} = index
108  value

Uses (3)

Used by (6)