2.1.4 Pushing Several BINTs
0E996 |
ZEROZERO
|
( → #0 #0 )
|
10358 |
ONEONE
|
( → #1 #1 )
aka: ONEDUP
|
0E0E0 |
DROPZERO
|
( ob → #0 )
|
0E0F9 |
2DROP00
|
( ob ob → #0 #0 )
|
0E4C1 |
DROPONE
|
( ob → #1 )
|
1031C |
DUPZERO
|
( ob → ob ob #0 )
|
10330 |
DUPONE
|
( ob → ob ob #1 )
|
1036C |
DUPTWO
|
( ob → ob ob #2 )
|
10344 |
SWAPONE
|
( ob ob' → ob' ob #1 )
|
0F714 |
ZEROSWAP
|
( ob → #0 ob )
|
0F95A |
ZEROOVER
|
( ob → ob #0 ob )
|
0FE17 |
ZEROFALSE
|
( → #0 F )
|
0F741 |
ONESWAP
|
( ob → #1 ob )
|
0FE2B |
ONEFALSE
|
( → #1 F )
|
This document was generated
by Carsten Dominik on May, 30 2005
using texi2html