[
library(util)
|
The ECLiPSe Libraries
|
Reference Manual
|
Alphabetic Index
]
streams
List information about the currently opened I/O streams