Idris2Doc : System.File.Support

System.File.Support

ok : HasIOio => a -> io (Eithererra)
  Wrap x in the `Right` part of an `io . Either`.

Totality: total
support : String -> String
  Shorthand for a function in the C support libary
(libidris2_support, idris_file.h)

@ fn the function name to refer to in the C support library

Totality: total