type CopyCall

stelliferous@0.0.2.0 · proofs/tensor_access_certificate.bend:21

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

21type CopyCall is Data:
22  CopyCall{fast: Bool,count: Nat,source: Views.View,destination: U32}