def pushed

stelliferous@0.0.2.0 · tensor_file.bend:203

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile

import Base

203def pushed(digits: Bool,current: U32,shape: List<&2,U32>) -> List<&2,U32>:
204  match digits:
205    case True{}: current <> shape
206    case False{}: shape

Uses (3)

Used by (1)

stelliferous@0.0.2.0/tensor_file:extents