def inspect_leaf

stelliferous@0.0.2.0 · tensor_band.bend:451

import Base
import stelliferous@0.0.2.0/storage_buffer.bend as Storage
import stelliferous@0.0.2.0/traversal_partition.bend as Partition
import stelliferous@0.0.2.0/proofs/storage_certificate.bend as Certificate

451def inspect_leaf(~Element: Data,geometry: Geometry,buffer: Storage.Buffer<Element>,+first: U32,+rows: U32) -> Bands(~Element) & Inspection:
452  Storage.Buffer{storage,+length,Certificate.Certificate{+depth,equation}} = buffer
453  (Partition.Leaf{Storage.Buffer{storage,length,Certificate.Certificate{depth,equation}},first,rows,Unit{}},
454    leaf_inspection(geometry,length,depth,first,rows))