def h.some_none.e
import bend-kit-collections@0.1.4.1/PROOF.bend as PROOFimport Base
1743def h.some_none.e(-V: Data, -x: V, e: {Some{x} == None{} : Maybe<&2, V>}) -> Empty:
1744 %e : h.isS(V, _)
1745 Unit{}
import bend-kit-collections@0.1.4.1/PROOF.bend as PROOFimport Base
1743def h.some_none.e(-V: Data, -x: V, e: {Some{x} == None{} : Maybe<&2, V>}) -> Empty:
1744 %e : h.isS(V, _)
1745 Unit{}