Idris2Doc : Language.Mk

Language.Mk

(source)
Reexports
import public Language.Reflection
Definitions
getMk' : ty -> Elab (FC, Name)
  Totality: total
  Visibility: export
getMk : ty -> Elab Name
  Totality: total
  Visibility: export
Mk : ty -> Elab a
  Totality: total
  Visibility: export