module checkTestcasesModuleImportsLibCommon_syncGood {
    import from LibCommon_Sync all;
    
    // good module, only types and constants
    type record MyRecordType {
        integer field1 optional,
        charstring field2,
        boolean field3
    }

    type integer myInt;
    
    const myInt myIntValue:= 2;
}