~/jendhub

def extent

stelliferous@0.0.2.0 · tensor_shape.bend:13

import stelliferous@0.0.2.0/tensor_shape.bend as TensorShape
import Base

13def extent(shape: Shape,axis: Nat) -> Maybe<&2,U32>:
14  Shape{extents} = shape
15  List.get(&2,U32,extents,axis)

Uses (5)

Used by (1)