Agda.Syntax.Abstract.Views

data AppView

appView

unAppView

asView

isSet

unScope

deepUnscope

deepUnscopeDecls

deepUnscopeDecl

Traversal

class ExprLike a