Agda.Syntax.Info

data Info

data MetaInfo

data ExprInfo

data ModuleInfo

data LetInfo

data DefInfo

mkDefInfo

data DeclInfo

data LHSInfo

data PatInfo