chore: Change usage of ChooseOne (no final condition)#4158

Merged

presleyp merged 3 commits intomainfrom

presleyp/chooseone

Sep 27, 2022

Commits on Sep 22, 2022

Change contract of Cond: no condition on default case
presleyp
committed

Commits on Sep 27, 2022