~/jendhub

def fits

stelliferous@0.0.2.0 · tensor_view.bend:143

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

143def fits(view: View,logical_length: U32) -> Bool:
144  +view = view
145  fits_nonempty(Shapes.has_zero(axis_extents_of(view)),view,logical_length)

Uses (6)

Used by (1)