Skip to content

Ensure that upper bound for variant in non-strict while cannot be wri…

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

Fix upper bound on non-strict while #941

Ensure that upper bound for variant in non-strict while cannot be wri…
265b6aa
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
EasyCrypt compilation (opam)
succeeded Mar 16, 2026 in 1m 31s