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

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);