DDC.Source.Tetra.Module

Modules

data Module l

isMainModule

data ExportSource n t

data ImportType n t

data ImportCap n t

data ImportValue n t

Module Names

data QualName n

data ModuleName

isMainModuleName

Top-level things

data Top l

Data type definitions

data DataDef l