Doug Bryan

Suggest Changes
Learn More
This is of course syntactically illegal since the body of My_Eq is a later declarative ite m and the renaming declaration is a basic declarative item. What you meant to say was :