next up previous contents index
Next: OutputType Up: InputType Previous: InputType   Contents   Index

$<<$


Usage

$<<$ s


Signature

$<<$: TextReader $\to$ %


Parameter Type Description
s TextReader an input stream


Returns

$<<$ s reads an element of the current type in text format from the stream s and returns the element read.



Manuel Bronstein 2004-06-28