_interface_ IdInfo 1
_exports_
-IdInfo IdInfo seqIdInfo vanillaIdInfo;
+IdInfo IdInfo GlobalIdDetails notGlobalId seqIdInfo vanillaIdInfo;
_declarations_
1 data IdInfo ;
+1 data GlobalIdDetails ;
+1 notGlobalId _:_ GlobalIdDetails ;;
1 seqIdInfo _:_ IdInfo -> PrelBase.() ;;
1 vanillaIdInfo _:_ IdInfo ;;