Name | Type | Description | Notes |
---|---|---|---|
unknown_reason | str |
from imandra_http_api_client.models.with_unknown_reason_body import WithUnknownReasonBody
# TODO update the JSON string below
json = "{}"
# create an instance of WithUnknownReasonBody from a JSON string
with_unknown_reason_body_instance = WithUnknownReasonBody.from_json(json)
# print the JSON string representation of the object
print WithUnknownReasonBody.to_json()
# convert the object into a dict
with_unknown_reason_body_dict = with_unknown_reason_body_instance.to_dict()
# create an instance of WithUnknownReasonBody from a dict
with_unknown_reason_body_form_dict = with_unknown_reason_body.from_dict(with_unknown_reason_body_dict)