Name | Type | Description | Notes |
---|---|---|---|
vars | List[str] | ||
style | InductStructuralStyle | ||
f_name | str |
from imandra_http_api_client.models.method_induct_body_body import MethodInductBodyBody
# TODO update the JSON string below
json = "{}"
# create an instance of MethodInductBodyBody from a JSON string
method_induct_body_body_instance = MethodInductBodyBody.from_json(json)
# print the JSON string representation of the object
print MethodInductBodyBody.to_json()
# convert the object into a dict
method_induct_body_body_dict = method_induct_body_body_instance.to_dict()
# create an instance of MethodInductBodyBody from a dict
method_induct_body_body_form_dict = method_induct_body_body.from_dict(method_induct_body_body_dict)