Idris.Elab.Quasiquote
Description
extractUnquotes :: Int -> PTerm -> Elab' aux (PTerm, [(Name, PTerm)]) Source #