InductStructuralBody.md

InductStructuralBody

Properties

Name Type Description Notes
vars List[str]
style InductStructuralStyle

Example

from imandra_http_api_client.models.induct_structural_body import InductStructuralBody

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

# convert the object into a dict
induct_structural_body_dict = induct_structural_body_instance.to_dict()
# create an instance of InductStructuralBody from a dict
induct_structural_body_form_dict = induct_structural_body.from_dict(induct_structural_body_dict)

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