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