diff options
Diffstat (limited to 'frontend/general.icl')
| -rw-r--r-- | frontend/general.icl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/general.icl b/frontend/general.icl index 5b3bb1a..b542268 100644 --- a/frontend/general.icl +++ b/frontend/general.icl @@ -11,6 +11,8 @@ import StdEnv :: Optional x = Yes !x | No +:: Choice a b = Either a | Or b + cMAXINT :== 2147483647 :: BITVECT :== Int |