type SweepCall

stelliferous@0.0.2.0 · proofs/tensor_access_certificate.bend:356

import Base
import stelliferous@0.0.2.0/tensor_access.bend as Access

356type SweepCall<-Element: Data> is Data:
357  SweepCall{count: Nat,context: Access.SweepContext<Element>}