Redirecting to ../../sp_state_machine/struct.BasicExternalities.html...