VerifyRequestName.md

VerifyRequestName

Properties

Name Type Description Notes
name str Example: my_fn_name
instance_printer PrinterDetails [optional]
hints Hints [optional]

Example

from imandra_http_api_client.models.verify_request_name import VerifyRequestName

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

# convert the object into a dict
verify_request_name_dict = verify_request_name_instance.to_dict()
# create an instance of VerifyRequestName from a dict
verify_request_name_form_dict = verify_request_name.from_dict(verify_request_name_dict)

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