#include <deferral.hpp>
References boost::statechart::detail::result_utility::get_result(), and boost::statechart::detail::no_reaction.