Go backward to 2 Basic Constructs
Go up to Top
3 Possible Choices
Overloading and overriding:
- Overloading allowed
- Overloading not allowed ...
- ... but overriding allowed ...
- ... in variable declarations and in quantifications
- ... only in variable declarations
- ... only in quantifications
- ... and overriding not allowed
I think 2.1.1 is probably the best option here.
Repetition:
- Repetition not allowed
- Repetition allowed ...
- ... in variable declarations and in quantifications
- ... only in variable declarations
- ... only in quantifications
I think 2.1 is probably the best option here.
CoFI
Note: L-1 --Version 1-- 28 March 1997.
Comments to dts@dcs.ed.ac.uk