Idris.ElabDecls
recinfo
elabMain
elabPrims
elabDecls
elabDecl
elabDecl'