type IndexedCall

stelliferous@0.0.2.0 · proofs/tensor_access_certificate.bend:274

import Base
import stelliferous@0.0.2.0/tensor_view.bend as Views

274type IndexedCall is Data:
275  IndexedCall{count: Nat,view: Views.View}