UpToBody.md

UpToBody

Properties

Name Type Description Notes
steps int
bound int [optional]

Example

from imandra_http_api_client.models.up_to_body import UpToBody

# TODO update the JSON string below
json = "{}"
# create an instance of UpToBody from a JSON string
up_to_body_instance = UpToBody.from_json(json)
# print the JSON string representation of the object
print UpToBody.to_json()

# convert the object into a dict
up_to_body_dict = up_to_body_instance.to_dict()
# create an instance of UpToBody from a dict
up_to_body_form_dict = up_to_body.from_dict(up_to_body_dict)

[Back to Model list] [Back to API list] [Back to README]