HOL.Name
data Namespace
data Name
global
mkGlobal
destGlobal
isGlobal
variantAvoiding
boolNamespace
listNamespace
pairNamespace
sumNamespace
functionNamespace
naturalNamespace
realNamespace
setNamespace