Str.text.case.pick: def of ezsys@0.1.0.0 Import: import ezsys@0.1.0.0/src/str.bend as Str Lines 240-251 of ezsys@0.1.0.0/src/str.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/str.bend&start_line=240&end_line=251 import Base # the first rule's mapping, or the rest's def text.case.pick( hit: Bool, +rule: Rule, +cp: U32, rest: Unit -> U32 ) -> U32: match hit: case True{}: text.case.target(rule, cp) case False{}: rest(Unit{}) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=Rule https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=text.case.target