<div dir="ltr">The io man page defines the device() type as follows:<div><br></div><div><div>    device() = atom() | pid()</div><div><br></div><div>    An IO device. Either standard_io, standard_error, a registered</div><div>
    name, or a pid handling IO protocols (returned from file:open/2).</div></div><div><br></div><div>But this is incomplete, since file:open/2 can also return an instance of a file_descriptor record.</div><div><br></div><div>
--steve</div></div>