law some_inj
import lawful-bytes@0.1.1.0/proof_append.bend as ProofAppendimport Base
75law some_inj:
76 for +x: U32
77 for +y: U32
78 for +e: {Some{x} == Some{y} : Maybe<&2, U32>}
79 {x == y : U32}
import lawful-bytes@0.1.1.0/proof_append.bend as ProofAppendimport Base
75law some_inj:
76 for +x: U32
77 for +y: U32
78 for +e: {Some{x} == Some{y} : Maybe<&2, U32>}
79 {x == y : U32}