Я ☞ Primitives ☞ Stack

Stack is an interface for List, Nonempty List.

pop: Transition `T'I` datastructure item `T'I` Optional item
push: item `AR_` Transition `T'I` datastructure item `T'I` item