Closed sudnonk closed 6 years ago
code for #341 . file pointer is resource , and the type is stream.
resource
stream
code for #341 . file pointer is
resource
, and the type isstream
.