IdrisDoc
: IO
Index
IO
getMyVM
:
IO'
l
Ptr
getErrno
:
IO
Int
fork
:
IO'
l
()
->
IO'
l
Ptr
forceGC
:
IO
()