Next: Predicate and function type declarations, Previous: Builtin types, Up: Types [Contents]
New types can be introduced with ‘:- type’ declarations. There are several categories of derived types:
| • Discriminated unions: | ||
| • Equivalence types: | ||
| • Abstract types: | ||
| • Subtypes: |