make_input_stream

function make_input_stream(file:File) -> InputStream

Create an input stream from an already-open file.