operator*() [5/6]

State syten::T3N::operator*	(	State const &	s,
		SDef const	c
	)

Multiplies state and const.