defaults to the value of
, checks are made to ensure that the resulting stream's
is compatible with its external format:
:io, the argument must be a supertype of the type of characters produced by the external format.
:io, the argument must be a subtype of the type of characters accepted by the external format
If the element-type argument doesn't satisfy these requirements, an error is signalled.
is passed, the system chooses the stream-element-type the basis of the external format.