diff options
Diffstat (limited to 'frontend/containers.dcl')
| -rw-r--r-- | frontend/containers.dcl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontend/containers.dcl b/frontend/containers.dcl index 3662108..587f884 100644 --- a/frontend/containers.dcl +++ b/frontend/containers.dcl @@ -18,6 +18,9 @@ nsFromTo :: !Int -> NumberSet // all numbers from 0 to (i-1) bitvectToNumberSet :: !LargeBitvect -> .NumberSet +numberSetToList :: !NumberSet -> [Int] + + :: LargeBitvect :== {#Int} bitvectCreate :: !Int -> .LargeBitvect |