let
push (s, al) =
Stack
.push (s, al) stack