Incomplete Function in binRelOnS.dfy

[nealpatel50]

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.