Skip to content

Fix UInt8/UInt16 masking: switch scrutinee, ETernary, ECast#741

Open
mtzguido wants to merge 1 commit into
FStarLang:masterfrom
mtzguido:707
Open

Fix UInt8/UInt16 masking: switch scrutinee, ETernary, ECast#741
mtzguido wants to merge 1 commit into
FStarLang:masterfrom
mtzguido:707

Commits

Commits on May 3, 2026