1 2 3 4 5 6 7
namespace jive.utility { public interface SubjectOf<in State> where State : utility.State { void change_state_to(State new_state); } }