In.empty
method input : bytes -> int -> int -> int
Read into the slice. Returns 0 only if the stream is closed.
0
method close : unit -> unit
Close the input. Must be idempotent.