DDC.Source.Tetra.Module

Modules

data Module l

isMainModule

data ExportSource n

data ImportType n

data ImportCap n

data ImportValue n

Module Names

data QualName n

data ModuleName

isMainModuleName

Top-level things

data Top l

Data type definitions

data DataDef n