definition module EdMyIO2;

import StdFile, StdString;

IF_SOLARIS a b :== a;
IF_INTEL a b :== b;

::	DATE = {	exists	:: !Bool,
				yy		:: !Int,
				mm		:: !Int,
				dd		:: !Int,
				h		:: !Int,
				m		:: !Int,
				s		:: !Int }; 

FExists	:: !String !*Files -> (!Bool, !*Files);
FModified :: !String !*Files -> (!DATE, !*Files);

