Module
data ModuleName
data ComponentId
data UnitId
data IndefUnitId
data IndefModule
data InstalledUnitId
type ShHoleSubst
data Module
class HasModule m
class ContainsModule t
data InstalledModule
data InstalledModuleEnv elt
data DefUnitId
data ModLocation
data ModuleEnv elt
type ModuleNameEnv elt
type DModuleNameEnv elt
type ModuleSet