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 |