-
- Downloads
Exported efficency note variables.
Changed LTN-ANNOTATE-RETURN to intersect the continuation asserted type with the union of non-tail uses (conditional on a non-null intersection.)
Loading
Please register or sign in to comment
Changed LTN-ANNOTATE-RETURN to intersect the continuation asserted type with the union of non-tail uses (conditional on a non-null intersection.)