Cryptol.ModuleSystem.Renamer

data NamingEnv

shadowing

class BindsNames a

checkNamingEnv

class Rename a

runRenamer

data RenamerError

data RenamerWarning