definition module Ext_deltaIOState;

import StdFile;
///from ioTypes import ::IOState;
// from deltaIOState import class FileEnv, instance FileEnv (IOState s);
from deltaIOState import class FileEnv, instance FileEnv (IOState s), ::IOState;

instance FileSystem (IOState s);