Merge branch 'master' of git.martlubbers.net:clean-tests
[clean-tests.git] / polymorph-eadt / ext.dcl
1 definition module ext
2
3 import main
4
5 :: Poly | Ext
6 //:: Poly a | Ext a