~/jendhub

def contiguous_axis

stelliferous@0.0.2.0 · tensor_view.bend:92

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

92def contiguous_axis(+extent: U32,stride: U32,inner: Maybe<&2,U32>) -> Maybe<&2,U32>:
93  match inner:
94    case None{}: None{}
95    case Some{+count}: contiguous_product(U32.is_le(extent,1) || U32.is_eq(stride,count),extent,count)

Uses (6)

Used by (1)