Agda.Syntax.Abstract.Views

data AppView

appView

unAppView