DDC.Source.Tetra.Module

Modules

data Module a n

isMainModule

data ExportSource n

data ImportSource n

Module Names

data QualName n

data ModuleName

isMainModuleName

Top-level things

data Top a n

Data type definitions

data DataDef n