make_input_stream


function make_input_stream(file:File) -> InputStream

Create an input stream from an already-open file.