Module Msg_reject
val reject_NewOrderSingle_missingfield : State.model_state -> Imandra_prelude.string -> State.model_stateval reject_NewOrderSingle_invalidfield : State.model_state -> Model_messages.mod_newordersingle_data -> Imandra_prelude.string -> State.model_stateval reject_NewOrderSingle_invalid : State.model_state -> Model_messages.mod_newordersingle_data -> Imandra_prelude.string -> State.model_stateval reject_field_missing : State.model_state -> Model_messages.field_missing_data -> State.model_state