Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Fedora > 13 > x86_64 > media > updates > by-pkgid > 06217ba1598a3cfb92b8cc9a2809e008 > files > 538

pvs-sbcl-4.2-4.20100126svn.fc13.x86_64.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

stack[t : TYPE] : DATATYPE
  BEGIN
   empty: emptystack?
   push(top: t, pop: stack): nonemptystack?
  END stack