Module cfg_select

Source

Functionsยง

expand_cfg_select ๐Ÿ”’
select_arm ๐Ÿ”’
Selects the first arm whose predicate evaluates to true.