Basic Libraries contain the standard datatypes.
The Casl Basic Libraries consist of specifications of often-needed datatypes and views between them, freeing the specifier from re-inventing well-known things. This can be compared to standard libraries in programming languages. While this book often discusses several styles of specification with Casl, the basic datatypes consistently follow a specific style described in .
- Natural Number
- Standard Library
- Division Operator
- List Operation
- Free Type
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.