Open nealpatel50 opened 6 years ago
The 'apply' function under the BASIC PROPERTIES OF RELATIONS MORE GENERALLY is incomplete:
function apply(x: T): set<T> reads this; requires Valid(); ensures Valid(); { forall x :: x in }
As a result, the file doesn't compile properly.
The 'apply' function under the BASIC PROPERTIES OF RELATIONS MORE GENERALLY is incomplete:
As a result, the file doesn't compile properly.