Function cetkaik_full_state_transition::apply_inf_after_step

pub fn apply_inf_after_step(
    old_state: &A, 
    msg: InfAfterStep, 
    config: Config
) -> Result<Probabilistic<C>, &'static str>

InfAfterStep sends A to Probabilistic<C>