law none_some
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/sound.bend as Soundimport Base
21law none_some:
22 for +p: List<&2, U32>
23 for +h: {None{} == Some{p} : Maybe<&2, List<&2, U32>>}
24 Empty
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aead/sound.bend as Soundimport Base
21law none_some:
22 for +p: List<&2, U32>
23 for +h: {None{} == Some{p} : Maybe<&2, List<&2, U32>>}
24 Empty