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