~/jendhub

def h.bnn

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

import bend-kit-collections@0.1.4.1/PROOF.bend as PROOF
import Base
import bend-kit-collections@0.1.4.1/hmap.bend as M

2630def h.bnn(-V: Data, b: Bool, -x: Maybe<&2, V>, +e: {x == None{} : Maybe<&2, V>})
2631  -> {None{} == M.HMap.bool(Maybe<&2, V>, b, u => x, u => x) : Maybe<&2, V>}:
2632  match b:
2633    case True{}:
2634      Equal.sym(Maybe<&2, V>, x, None{}, e)
2635    case False{}:
2636      Equal.sym(Maybe<&2, V>, x, None{}, e)

Uses (4)

Used by (1)