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