InstanceRequestSrc.md

InstanceRequestSrc

Properties

Name Type Description Notes
src str Source code string with a given syntax (default Iml)
syntax Syntax [optional]
instance_printer PrinterDetails [optional]
hints Hints [optional]

Example

from imandra_http_api_client.models.instance_request_src import InstanceRequestSrc

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

# convert the object into a dict
instance_request_src_dict = instance_request_src_instance.to_dict()
# create an instance of InstanceRequestSrc from a dict
instance_request_src_form_dict = instance_request_src.from_dict(instance_request_src_dict)

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