Sophie

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

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

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

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

ustacks: THEORY
BEGIN
 IMPORTING stacks[int], stacks[stack[int]]

 si  : stack[int]
 sos : stack[stack[int]] = push(si, empty)

END ustacks