Cryptol.ModuleSystem.Name
data Name
data NameInfo
nameUnique
nameIdent
nameInfo
nameLoc
nameFixity
asPrim
cmpNameLexical
cmpNameDisplay
ppLocName
mkDeclared
mkParameter
class FreshM m
nextUniqueM
data SupplyT m a
runSupplyT
data Supply
emptySupply
nextUnique
data PrimMap
lookupPrimDecl
lookupPrimType