def sapp

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/aead/proof.bend:258

import Base

258def sapp(+ct: List<&2, U32>, +t: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
259  Some{List.append(&2, U32, ct, t)}