Cryptol.ModuleSystem.NamingEnv
data NameOrigin
data EName
data TName
class HasQName a
data NamingEnv
singletonT
singletonE
shadowing
travNamingEnv
class BindsNames a