def smaybe
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/proof.bend as Proofimport Base
309def smaybe(+x: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
310 Some{x}
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/proof.bend as Proofimport Base
309def smaybe(+x: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
310 Some{x}