definition module ReadState

import
	StdEnv,
	State
	
ReadState :: !String !*State !*Files -> (!*State,!*Files)