Function cetkaik_full_state_transition::apply_inf_after_step

pub fn apply_inf_after_step<T: CetkaikRepresentation + Clone>(
    old_state: &GroundState_<T>,
    msg: InfAfterStep_<T::AbsoluteCoord>,
    config: Config
) -> Result<Probabilistic<ExcitedState_<T>>, &'static str>

use cetkaik_fundamental::*;
use cetkaik_full_state_transition::message::InfAfterStep_;
use cetkaik_full_state_transition::*;
use cetkaik_naive_representation::absolute;
use cetkaik_naive_representation::absolute::Coord;
use cetkaik_naive_representation::absolute::Row::*;
use cetkaik_naive_representation::absolute::Column::*;
use cetkaik_naive_representation::CetkaikNaive;
let ia_first = state::GroundState_::<CetkaikNaive> {
    whose_turn: AbsoluteSide::IASide,
    scores: Scores::new(),
    rate: Rate::X1,
    season: Season::Iei2,
    tam_has_moved_previously: false,
    f: absolute::Field {
        a_side_hop1zuo1: vec![],
        ia_side_hop1zuo1: vec![],
        board: cetkaik_naive_representation::absolute::yhuap_initial_board(),
    },
};
let inf_after_step = InfAfterStep_ { src: Coord(AU, L), step: Coord(AU, K), planned_direction: Coord(AU, L) };
apply_inf_after_step(&ia_first, inf_after_step, Config::cerke_online_alpha()).unwrap();

InfAfterStep sends GroundState to Probabilistic<ExcitedState>