make_input_stream

---

function make_input_stream(file:File) -> InputStream

Create an input stream from an already-open file.