definition module WriteState

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