def h.some_none

bend-kit-collections@0.1.4.1 · PROOF.bend:1747

import bend-kit-collections@0.1.4.1/PROOF.bend as PROOF

import Base

1747def h.some_none(-A: Type, -V: Data, -x: V, e: {Some{x} == None{} : Maybe<&2, V>}) -> A:
1748  Empty.absurd(A, h.some_none.e(V, x, e))

Uses (3)

Used by (2)