Agda.Syntax.Abstract.Views
data AppView
appView
unAppView
asView
isSet
unScope
deepUnscope
deepUnscopeDecls
deepUnscopeDecl
class ExprLike a