Module Act_process
val receive_action_x : State.model_state -> Actions.m_action_fix_x -> State.model_stateval receive_action : State.model_state -> Actions.fix_action -> State.model_state
Act_processval receive_action_x : State.model_state -> Actions.m_action_fix_x -> State.model_stateval receive_action : State.model_state -> Actions.fix_action -> State.model_state