Hints.md

Hints

Properties

Name Type Description Notes
method Method

Example

from imandra_http_api_client.models.hints import Hints

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

# convert the object into a dict
hints_dict = hints_instance.to_dict()
# create an instance of Hints from a dict
hints_form_dict = hints.from_dict(hints_dict)

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