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 |