Idris2Doc : System.Errno

System.Errno

getErrno : HasIOio => ioInt
  Fetch libc `errno` global variable.

Totality: total
strerror : Int -> String
  Convert numeric `errno` to string.

Totality: total