Τακτικοί τύποι

Οι τύποι integer, boolean και char ονομάζονται τακτικοί τύποι (ordered types) διότι ορίζονται σε πεπερασμένες διατεταγμένες ακολουθίες. Στους τύπους αυτούς μπορούμε να ορίσουμε τις παρακάτω συναρτήσεις:
succ
Επόμενη τιμή
pred
Προηγούμενη τιμή
ord
Σειρά στην ακολουθία