Skip to content

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

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

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