Language.Fixpoint.Names

Hardwired global names

dummyName

preludeName

boolConName

funConName

listConName

tupConName

propConName

strConName

vvName

symSepName

dropModuleNames

takeModuleNames