Language.Fixpoint.Names
data Symbol
class Symbolic a
anfPrefix
tempPrefix
vv
isPrefixOfSym
isSuffixOfSym
stripParensSym
consSym
unconsSym
dropSym
singletonSym
headSym
takeWhileSym
lengthSym
symChars
isNonSymbol
nonSymbol
isNontrivialVV
symbolText
symbolString
encode
vvCon
dropModuleNames
dropModuleUnique
takeModuleNames
dummySymbol
intSymbol
tempSymbol
existSymbol
qualifySymbol
suffixSymbol
dummyName
preludeName
boolConName
funConName
listConName
tupConName
propConName
hpropConName
strConName
nilName
consName
vvName
symSepName
size32Name
size64Name
bitVecName
bvAndName
bvOrName
prims