definition module ReadState

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