__interface IdInfo 1 0 where
-__export IdInfo IdInfo seqIdInfo vanillaIdInfo ;
+__export IdInfo IdInfo GlobalIdDetails notGlobalId seqIdInfo vanillaIdInfo ;
1 data IdInfo ;
+1 data GlobalIdDetails ;
+1 notGlobalId :: GlobalIdDetails ;
1 seqIdInfo :: IdInfo -> PrelBase.Z0T ;
1 vanillaIdInfo :: IdInfo ;