| Name | Type | Description | Notes |
|---|---|---|---|
| steps | int | ||
| bound | int | [optional] | |
| instance | ResponseInstance | ||
| unknown_reason | str |
from imandra_http_api_client.models.verify_response_body import VerifyResponseBody
# TODO update the JSON string below
json = "{}"
# create an instance of VerifyResponseBody from a JSON string
verify_response_body_instance = VerifyResponseBody.from_json(json)
# print the JSON string representation of the object
print VerifyResponseBody.to_json()
# convert the object into a dict
verify_response_body_dict = verify_response_body_instance.to_dict()
# create an instance of VerifyResponseBody from a dict
verify_response_body_form_dict = verify_response_body.from_dict(verify_response_body_dict)