Idris2Doc : System.File.Virtual

Index

System.File.Virtual

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

Produced by Idris 2 version 0.5.0-9964fee09