Agda-2.3.2: A dependently typed functional programming language and proof assistant
Agda.Syntax.Abstract.Views
Synopsis
data AppView
Constructors
appView :: Expr -> AppView
unAppView :: AppView -> Expr
isSet :: Expr -> Bool
Check whether we are dealing with a universe.