PROOF.h.bsel: def of bend-kit-collections@0.1.4.1
Import: import bend-kit-collections@0.1.4.1/PROOF.bend as PROOF
Lines 2654-2662 of bend-kit-collections@0.1.4.1/PROOF.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-collections@0.1.4.1/PROOF.bend&start_line=2654&end_line=2662

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

def h.bsel(
  -A: Type, b: Bool, -x: A, -y: A, -z: A,
  ht: {b == True{} : Bool} -> {x == z : A}, hf: {b == False{} : Bool} -> {y == z : A}
) -> {M.HMap.bool(A, b, u => x, u => y) == z : A}:
  match b:
    case True{}:
      ht({==})
    case False{}:
      hf({==})

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=bend-kit-collections@0.1.4.1/hmap.bend&name=HMap.bool