[ Value { symbolModule = ModuleName () "Rec2" , symbolName = Ident () "rec2" } , Value { symbolModule = ModuleName () "Rec1" , symbolName = Ident () "rec1_1" } , Value { symbolModule = ModuleName () "Rec3" , symbolName = Ident () "rec3" } ]