(module Small in (sig (val tom Int)) out everything) (global temp Int 5) (adt (Stack a) [a] (global emptySt (Stack a) (#nil)) (fun push (Stack a) (x a xs (Stack a)) (#cons x xs)) (fun pop ( a . (Stack a)) (xs (Stack a)) (#pair (!cons 0 xs) (!cons 1 xs))) ) (global www Char 'c') main (:= temp (+ tom 1))