Name | Type | Description | Notes |
---|---|---|---|
steps | int | [optional] | |
name | str | ||
type | InductType | ||
body | MethodInductBodyBody | [optional] |
from imandra_http_api_client.models.method_body import MethodBody
# TODO update the JSON string below
json = "{}"
# create an instance of MethodBody from a JSON string
method_body_instance = MethodBody.from_json(json)
# print the JSON string representation of the object
print MethodBody.to_json()
# convert the object into a dict
method_body_dict = method_body_instance.to_dict()
# create an instance of MethodBody from a dict
method_body_form_dict = method_body.from_dict(method_body_dict)