Idris2Doc : System.File.Virtual

System.File.Virtual

Magic/Virtual files
stderr : File
  The standard error.

Totality: total
stdin : File
  The standard input.

Totality: total
stdout : File
  The standard output.

Totality: total