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