Idris.PartialEval

partial_eval

getSpecApps

specType

mkPE_TyDecl

mkPE_TermDecl

data PEArgType

pe_app

pe_def

pe_clauses

pe_simple