Note on Data Type Declaration
Christine Choppy1
5 January 1998
This document is available by
FTP
in various formats.
It was converted to HTML using
Hyperlatex 2.2.
Abstract
A first aim of this note is to explain some features of CASL syntax
relative to data type declaration.
Another aim is to suggest some ways to use these features, and a last aim
is to draw someone's attention to some potential problems and misuses.
CoFI
Note: M-2 ---- 5 January 1998.
Comments to Christine.Choppy@irin.univ-nantes.fr