Agda.Syntax.Info

data MetaInfo

emptyMetaInfo

data ExprInfo

exprNoRange

data LamInfo

defaultLamInfo

defaultLamInfo_

data ModuleInfo

data LetInfo

data DefInfo

mkDefInfo

mkDefInfoInstance

data DeclInfo

data MutualInfo

data LHSInfo

data PatInfo

patNoRange

data ConPatInfo