Redirecting to
../../sp_state_machine/struct.TestExternalities.html
...