Αφηρημένος τύπος

{ Ορισμός του τύπου της συνδεδεμένης λίστας }
type
    intList = ^intListElem;

    intListElem = record
        val : integer;
        next : intList;
    end;
{ Επιστρέφεται μια άδεια συνδεδεμένη λίστα }
function newIntList : intList;
{ Επιστρέφεται μια συνδεδεμένη λίστα με το στοιχείο i στην αρχή της }
function addIntList(l : intList; i : integer) : intList;
{ Επιστρέφεται μια συνδεδεμένη λίστα με το στοιχείο i διαγραμμένο }
function delIntList(l : intList; i : integer) : intList;
{ Επιστρέφεται ένας δείκτης στο στοιχείο της λίστας που έχει την τιμή i }
function searchIntList(l : intList; i : integer) : intList;
{ Επιστρέφεται αληθές αν η λίστα είναι κενή }
function isEmtyIntList(l : intList) : boolean;