Skip to content

Origin note: say what a call's return refinement guarantees about an argument it gives - #530

Open
CatarinaGamboa wants to merge 7 commits into
from-note-statefrom
from-note-f4
Open

Origin note: say what a call's return refinement guarantees about an argument it gives#530
CatarinaGamboa wants to merge 7 commits into
from-note-statefrom
from-note-f4

Commits

  1. Commits on Nov 10, 2026