Text.text.value.pick: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/text.bend as Text
Lines 30-40 of ezsys@0.1.0.0/src/text.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/text.bend&start_line=30&end_line=40

import Base

# this pair's value when its key is the one asked for, else the rest's
def text.value.pick(
  hit: Bool,
  value: String,
  rest: Unit -> Maybe<&2, String>
) -> Maybe<&2, String>:
  match hit:
    case True{}:
      Some{value}
    case False{}:
      rest(Unit{})

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit