Cryptol.ModuleSystem.Renamer
data NamingEnv
shadowing
class BindsNames a
checkNamingEnv
class Rename a
runRenamer
data RenamerError
data RenamerWarning