diff options
Diffstat (limited to 'ABC/Machine/BStack.dcl')
| -rw-r--r-- | ABC/Machine/BStack.dcl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ABC/Machine/BStack.dcl b/ABC/Machine/BStack.dcl index 488ed75..0af277b 100644 --- a/ABC/Machine/BStack.dcl +++ b/ABC/Machine/BStack.dcl @@ -27,6 +27,7 @@ bs_pushI :: Int BStack -> BStack bs_update :: BDst Basic BStack -> BStack bs_addI :: BStack -> BStack bs_decI :: BStack -> BStack +bs_divI :: BStack -> BStack bs_incI :: BStack -> BStack bs_eqB :: BStack -> BStack bs_eqI :: BStack -> BStack |