def h.bool_none

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

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

2622def h.bool_none(-V: Data, b: Bool, -x: Maybe<&2, V>, e: {x == None{} : Maybe<&2, V>})
2623  -> {M.HMap.bool(Maybe<&2, V>, b, u => x, u => None{}) == None{} : Maybe<&2, V>}:
2624  match b:
2625    case True{}:
2626      e
2627    case False{}:
2628      {==}