Module Msg_check_validate
val check_validate_NewOrderSingle : Model_messages.mod_newordersingle_data -> State.model_state -> Msg_check_types.validate_reject
Msg_check_validateval check_validate_NewOrderSingle : Model_messages.mod_newordersingle_data -> State.model_state -> Msg_check_types.validate_reject