System.IO.HVIO
class HVIO a
data StreamReader
newStreamReader
data MemoryBuffer
newMemoryBuffer
mbDefaultCloseFunc
getMemoryBuffer
data PipeReader
data PipeWriter
newHVIOPipe