The definition module for parameterized forms