Agda.Syntax.Translation.InternalToAbstract

apps

exprInfo

reifyApp

class Reify i a

reifyDisplayForm

reifyDisplayFormP

data NamedClause

stripImplicits

class DotVars a

reifyPatterns