+++ /dev/null
-(* This file has been generated automatically. DO NOT EDIT! *)
-(* [by Matthias Blume's ml-nlffigen (version 0.9.1) for x86-unix] *)
-(* Send comments and suggestions to blume@tti-c.org. Thanks! *)
-local
- structure S__IO_FILE = struct
- local
- open Tag
- in
- type tag = s t__ t_I t_O t__ t_F t_I t_L t_E
- end
- end
-in
- structure ST__IO_FILE = S__IO_FILE
-end