Idris2Doc : Prim.Lib

Prim.Lib

(source)
Definitions
lib : String -> String
  Visibility: public export