~/jendhub

def extent

stelliferous@0.0.2.0 · tensor_view.bend:67

import stelliferous@0.0.2.0/tensor_view.bend as TensorView
import Base
import stelliferous@0.0.2.0/tensor_shape.bend as Shapes

67def extent(view: View,axis: Nat) -> Maybe<&2,U32>:
68  Shapes.extent(shape(view),axis)

Uses (6)

Used by (0)

No other definition uses this definition.