law none_some
import lawful-bytes@0.1.1.0/proof_append.bend as ProofAppendimport Base
66law none_some:
67 for -x: U32
68 for e: {None{} == Some{x} : Maybe<&2, U32>}
69 Empty
import lawful-bytes@0.1.1.0/proof_append.bend as ProofAppendimport Base
66law none_some:
67 for -x: U32
68 for e: {None{} == Some{x} : Maybe<&2, U32>}
69 Empty