diff options
Diffstat (limited to 'frontend/containers.dcl')
| -rw-r--r-- | frontend/containers.dcl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/frontend/containers.dcl b/frontend/containers.dcl index abb6752..e788c86 100644 --- a/frontend/containers.dcl +++ b/frontend/containers.dcl @@ -1,7 +1,13 @@ definition module containers +/*2.0 +from syntax import ::Optional +from StdOverloaded import class toString +0.2*/ +//1.3 from syntax import Optional from StdOverloaded import toString +//3.1 :: NumberSet = Numbers !Int !NumberSet | EndNumbers |