Name | Type | Description | Notes |
---|---|---|---|
src | str | Source code string with a given syntax (default Iml) | |
syntax | Syntax | [optional] |
from imandra_http_api_client.models.eval_request_src import EvalRequestSrc
# TODO update the JSON string below
json = "{}"
# create an instance of EvalRequestSrc from a JSON string
eval_request_src_instance = EvalRequestSrc.from_json(json)
# print the JSON string representation of the object
print EvalRequestSrc.to_json()
# convert the object into a dict
eval_request_src_dict = eval_request_src_instance.to_dict()
# create an instance of EvalRequestSrc from a dict
eval_request_src_form_dict = eval_request_src.from_dict(eval_request_src_dict)