source: trunk/t3q-examples/checkTemplatesModuleContainmentCheck/checkTemplatesModuleContainmentGood.ttcn3 @ 22

module checkTemplatesModuleContainmentGood {
    import from LibCommon_time all;

    // good module, only templates
    template MyRecordType t_1 := {
        field1 := 1,
        field2 := "a",
        field3 :=true
    }

    template integer t_2 := (0,1,2,3,4,5,6,7);
    
    
    group GroupedDefs{
            template integer t_3 :=(0 .. 10);

    }
}