[clean-tests.git] / main.dcl

definition module main

:: T = A | ..