~/jendhub

def indexed_width_positive

stelliferous@0.0.2.0 · tensor.bend:447

import stelliferous@0.0.2.0/tensor.bend as Tensor
import Base
import stelliferous@0.0.2.0/tensor_band.bend as Bands

447def indexed_width_positive(geometry: Bands.Geometry) -> Bool:
448  Bands.Geometry{batch,channels,height,width} = geometry
449  Nat.is_lt(0n,U32.to_nat(width))

Uses (4)

Used by (1)