Type Alias StateAction 

pub type StateAction<I, O, C> = (CausalState<I, O, C>, CausalAction);

A tuple consisting of a causal state and an associated causal action.

This is used to represent the result of state-action reasoning steps.