Skip to content

subtype: generalize over section-declared free types at section close

4bb149e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

subtype: generalize over section-declared free types at section close #1002

subtype: generalize over section-declared free types at section close
4bb149e
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
EasyCrypt compilation (nix)
succeeded May 8, 2026 in 50s