definition module ext

import main

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