def h.none_some

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

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

import Base

1750def h.none_some(-A: Type, -V: Data, -x: V, e: {None{} == Some{x} : Maybe<&2, V>}) -> A:
1751  Empty.absurd(A, h.some_none.e(V, x, Equal.sym(Maybe<&2, V>, None{}, Some{x}, e)))

Uses (4)

Used by (6)