Module State

type model_state = {
incoming_action : Actions.fix_action option;
outgoing_msgs : Model_messages.model_msg list;
incoming_msg : Model_messages.model_top_level_msg;
}
val init_model_state : model_state
val send_msg : Model_messages.model_msg -> model_state -> model_state
type internal_states_types = Imandra_prelude.int list
val get_internal_states_types : model_state -> internal_states_types