put_char/[1,2]
[ISO]put_char(
+Char)
put_char(
+Stream,
+Char)
The char Char is written to Stream.
A valid output text stream, defaults to the current output stream.
Stream errors (see ref-iou-sfh-est), plus:
type_error
permission_error