module checkTypesAndValuesModuleContainmentCheckBad { import from LibCommon_time all; // good part type record MyRecordType { integer field1 optional, charstring field2, boolean field3 } type integer myInt; const myInt myIntValue := 2; // bad part template MyRecordType MyTemplate1 := { field1 := 123, field2 := "A string", field3 := true } testcase t_sendMsg() runs on myComponent { } function myfunc() { } group g_1{ function f_1(){ } } }