Agda.Syntax.Info
data Info
data MetaInfo
emptyMetaInfo
data ExprInfo
data ModuleInfo
data LetInfo
data DefInfo
mkDefInfo
data DeclInfo
data MutualInfo
data LHSInfo
data PatInfo