module checkTypesAndValuesModuleContainmentCheckGood { import from LibCommon_time all; // good module, only types and constants type record MyRecordType { integer field1 optional, charstring field2, boolean field3 } type integer myInt; const myInt myIntValue:= 2; group GroupedDefs{ type integer myGroupedInt; const myGroupedInt myGroupedIntValue:= 2; } }