module IdInfo where

data IdInfo
data GlobalIdDetails

notGlobalId :: GlobalIdDetails
seqIdInfo :: IdInfo -> ()
vanillaIdInfo :: IdInfo