Skip to content

The small-step semantics of Imperative must have scoped var init, remove unlabeled exit from Core #9049

The small-step semantics of Imperative must have scoped var init, remove unlabeled exit from Core

The small-step semantics of Imperative must have scoped var init, remove unlabeled exit from Core #9049

Annotations

1 warning and 1 notice

Build documentation

succeeded May 13, 2026 in 33m 36s