4.6 Input and Output

• ref-iou-bas: Introduction
• ref-iou-str: About Streams
• ref-iou-tin: Term Input
• ref-iou-tou: Term Output
• ref-iou-cin: Byte and Character Input
• ref-iou-cou: Byte and Character Output
• ref-iou-sfh: Stream and File Handling
• ref-iou-sos: Reading the State of Opened Streams
• ref-iou-raf: Random Access to Files
• ref-iou-sum: Summary of Predicates and Functions