Idris2Doc : Compiler.Generated

Compiler.Generated

(source)
Definitions
generatedString : String -> String
  Visibility: export