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

O παρακάτω ΑΤΔ ορίζει τις βασικές συναρτήσεις για τη χρήση μιας στοίβας ακεραίων.

Επιστρέφεται μια νέα κενή στοίβα: int_stack new_int_stack(void);
Το στοιχείο i εισάγεται στην κορυφή της στοίβας s: void push_int_stack(int_stack s, int i);
Το στοιχείο από την κορυφή της στοίβας s αφαιρείται και επιστρέφεται: int pop_int_stack(int_stack s);
Επιστρέφεται αληθές αν η στοίβα s είναι κενή: int isempty_int_stack(int_stack s);
Απαλείφεται η στοίβα: void delete_int_stack(int_stack s);