Idris2Doc
: FS.System
Index
Default
Alternative
Black & White
FS.System
(
source
)
Definitions
args
:
HasIO
(
f
es
)
=>
Stream
f
es
String
Totality
:
total
Visibility
:
export