diff options
| author | Camil Staps | 2016-07-01 09:11:02 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-07-01 09:11:02 +0200 |
| commit | 55e6cadc298beda9d079d99147b3cb0f50ce25ec (patch) | |
| tree | dd28e78845843d2dff7d2b3daa2b60f5520e8b7e /BStack.dcl | |
| parent | Fixes (diff) | |
Printing
Diffstat (limited to 'BStack.dcl')
| -rw-r--r-- | BStack.dcl | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -1,17 +1,20 @@ definition module ABC.BStack -from StdOverloaded import class == +from StdOverloaded import class ==, class toString from ABC.Def import ::NrArgs :: Basic = Int Int | Bool Bool instance == Basic +instance toString Basic :: BSrc :== Int :: BDst :== Int :: BStack (:== [Basic]) +instance toString BStack + bs_copy :: BSrc BStack -> BStack bs_get :: BSrc BStack -> Basic bs_getB :: BSrc BStack -> Bool |
