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
University of Virginia, Computer Science
evans@cs.virginia.edu