(* Stacks - S.M.Pericas *)

stack = [ isempty = true,
          top = @(s)s.top,
          pop = @(s)s,
          push = @(s)\(x)((s.pop := s).isempty := false).top := x];

stack.push(1).push(2).top;