Idris.PartialEval
partial_eval
getSpecApps
specType
mkPE_TyDecl
mkPE_TermDecl
data PEArgType
pe_app
pe_def
pe_clauses
pe_simple