Idris.ElabDecls

recinfo

elabMain

elabPrims

elabDecls

elabDecl

elabDecl'