Idris2Doc : TTImp.Elab.Term

TTImp.Elab.Term

(source)

Definitions