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