Hello All, Is there any way to specify the types for parameters in parameterized modules? Parameterized modules are still experimental so perhaps they are not supported for specs. In any case, I have yet to find anything mentioning parameterized modules and specs in the same context. Thanks, Eric