Idris2Doc : Core.GetType

Core.GetType

(source)
Definitions
getType : Ref Ctxt Defs => Env Term vars -> Term vars -> Core (Glued vars)
  Visibility: export