def stream_64

qasim-bend-kit@0.1.0.2 · proof/AES_NistCtrProof.bend:68

import Base
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr2BlockProof.bend as B2
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr3BlockProof.bend as B3
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr4BlockProof.bend as B4
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr5BlockProof.bend as B5

68def stream_64() -> List<&2, U32>:
69    List.append(&2, U32, B2.result(), List.append(&2, U32, B3.result(), List.append(&2, U32, B4.result(), B5.result())))