Previous: , Up: Definitions   [Contents][Index]


4.2 Internal definitions