Für manche Attribute ist es möglich, sie für eigene Typen selbst zu definieren. Ein Beispiel ist
type Matrix is for Matrix'Read use My_Matrix_Reader; for Matrix'Write use My_Matrix_Writer;