Module Msg_receive
val receive_message_NewOrderSingle : State.model_state -> Model_messages.mod_newordersingle_data -> State.model_state
Msg_receiveval receive_message_NewOrderSingle : State.model_state -> Model_messages.mod_newordersingle_data -> State.model_state