files/practicum/StdStack2.dcl

   1 definition module StdStack2
   2
   3 ::      Stack2 elem = E.impl:   { stack         :: impl
   4                                                         , push          :: elem impl -> impl
   5                                                         , pop           ::      impl -> impl
   6                                                         , top           ::      impl ->  elem
   7                                                         , elements      ::      impl -> [elem]
   8                                                         }