[clean-tests.git] / polymorph-eadt / ext.dcl

definition module ext

import main

:: Poly | Ext
//:: Poly a | Ext a