cogent/examples/files/file.ah - 3p/nicta/cogent - Git at Google


 typedef FILE $id:(FileRead s);
 typedef FILE $id:(FileWrite s);

	typedef FILE $id:(FileRead s);
	typedef FILE $id:(FileWrite s);