definition module T

:: T = ..