Previous Up Next

Chapter 12  ECLiPSe Macros






1
type(goal) stands for suspensions.
2
So that the user can redefine it with a local one.

Previous Up Next