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