diff options
| author | johnvg | 2001-09-06 15:30:01 +0000 |
|---|---|---|
| committer | johnvg | 2001-09-06 15:30:01 +0000 |
| commit | d27143250ac87f53b0083a3a1cc3fb2190fb0015 (patch) | |
| tree | 49d48418e4315d0da58d354ff2074862fff8ddd5 /frontend/containers.dcl | |
| parent | added command line flag to enable generics (diff) | |
remove 'dcl_is_cashed'
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@758 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/containers.dcl')
| -rw-r--r-- | frontend/containers.dcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/containers.dcl b/frontend/containers.dcl index 3156ae8..abb6752 100644 --- a/frontend/containers.dcl +++ b/frontend/containers.dcl @@ -14,10 +14,11 @@ bitvectToNumberSet :: !LargeBitvect -> .NumberSet :: LargeBitvect :== {#Int} +bitvectCreate :: !Int -> .LargeBitvect bitvectSelect :: !Int !LargeBitvect -> Bool bitvectSet :: !Int !*LargeBitvect -> .LargeBitvect bitvectReset :: !Int !*LargeBitvect -> .LargeBitvect -bitvectCreate :: !Int -> .LargeBitvect +bitvectSetFirstN :: !Int !*LargeBitvect -> .LargeBitvect bitvectResetAll :: !*LargeBitvect -> .LargeBitvect :: IntKey :== Int |