Idris2Doc : Idris.Syntax.TTC

Idris.Syntax.TTC

(source)
Reexports
import public Core.Binary
import public Core.TTC
Definitions