# -*- cperl -*-

=head1 Camila-SL data types

Camila-SL contain simple (or atomic) and complex (or compound) data
types. They are based on Camila syntax with a little taste of VDM-SL
to make them interact.

=head2 Atomic data types

Atomic data types are the common number related types, a boolean type
and an unicode based string data type.

=over 4

=item NAT

=back

=head2 Compound data types

Compound data types are the common sequence, set and map types, with
the following properties.

=over 4

=item SET

=back

=cut