Module `Msg_process`

val process_NewOrderSingle : State.model_state -> Model_messages.mod_newordersingle_data -> State.model_state
val process_msg : State.model_state -> Model_messages.model_top_level_msg -> State.model_state
val msg_NewOrderSingle_valid : Model_messages.mod_newordersingle_data -> State.model_state -> bool
val is_message_valid : Model_messages.model_msg -> State.model_state -> bool