Agda.Syntax.Info

data MetaInfo

emptyMetaInfo

data ExprInfo

data ModuleInfo

data LetInfo

data DefInfo

mkDefInfo

data DeclInfo

data MutualInfo

data LHSInfo

data PatInfo

patNoRange

data ConPatInfo