Idris.Inliner

inlineDef

inlineTerm