Next: , Previous: , Up: Types   [Contents]


3.2 User-defined types

New types can be introduced with ‘:- type’ declarations. There are several categories of derived types: