Se dice que una operación opera sobre un tipo, T, si produce un valor de tipo T o tiene un parámetro que, o es de tipo T, o es un access a objetos de tipo T (el parámetro debe, en este caso estar declarado como "access T", no de un tipo que sea "access T"). Los operadores y demás operaciones predefinidas en el lenguaje que operen sobre el tipo T, se dice que son "operaciones predefinidas del tipo T". El conjunto de operaciones primitivas de un tipo está constituido por sus operaciones predefinidas junto con los subprogramas primitivos definidos por el programador.
Son subprogramas primitivos de un tipo:
Un subprograma primitivo cuyo nombre es un símbolo de operador es un operador primitivo.
Créditos