Idris2Doc : System.File.Virtual

System.File.Virtual

stderr : File
Totality: total
stdin : File
Totality: total
stdout : File
Totality: total