This note contains a proposal for a library of CASL basic datatypes, ready for use when writing CASL specifications. It covers datatypes like numbers, characters, strings and lists, together with specifications expressing their algebraic properties, like groups, rings and fields. Since the specification of real and complex numbers is quite involved, we have devoted a separate study note to them "The Datatypes REAL and COMPLEX in CASL" [MR99, RM99b].
The library of CASL basic datatypes also illustrates how to write and structure specifications in CASL. All important features of CASL basic and structured specifications are used. The specifications in the library are carefully structured in such a way that interesting relations that should hold between the specifications can be expressed via semantic annotations.1
Throughout this note, we extensively use a set of annotations for operator precedences, a set of semantic annotations, and an extension of the CASL syntax for literals. The details of these annotations and syntax extensions are explained in Appendix C of the CASL Language Summary [CoF98].