Go backward to 2 Basic Datatypes
Go up to Top
Go forward to 4 A Specification of Real Numbers
3 Annotations
We make frequent use of the following annotations, which we discuss
separately in the study note "Annotations and Literal Syntax in
CASL" [RM99b].
- Annotations on extensions:
- %def
- %cons
- Annotations concerned with the precedence of mixfix symbols:
%prec <precedence-list>,
where a precedence list consists of at most one precedence relation of
the form
id1, ..., idn < idn+1, ..., idn+k,
n > 1, k > 1.
- Annotations on associativity of mixfix symbols:
- %left assoc
- %right assoc
Although these annotations describe important properties, the
following specifications remain correct if the annotations are
interpreted as comments.
CoFI
Note: M-7 -- Version: 0.2 -- 13 April 1999.
Comments to till@informatik.uni-bremen.de