stdio.lcl

stdio.lcl

/* stdio.lcl */
 
immutable type FILE;
 
/* was uses file; */
uses file (char [] for ioStream);
 
const FILE *stdin;
const FILE *stdout;
const FILE *stderr;
 
typedef char ioStream [];

Return LCLint Home Page David Evans
Software Devices and Systems
evs@sds.lcs.mit.edu