Agda.Syntax.Info
data
Info
data
MetaInfo
data
ExprInfo
data
ModuleInfo
data
LetInfo
data
DefInfo
mkDefInfo
data
DeclInfo
data
LHSInfo
data
PatInfo