Idris2Doc : System.File.Support

System.File.Support

ok : HasIOio => a -> io (Eithererra)
Totality: total
support : String -> String
Totality: total