| Name | Type | Description | Notes |
|---|---|---|---|
| name | str | Name of printer function. Should be of type `t -> string`, where `t` is the type returned by your instance constraint function. | |
| cx_var_name | str | Name of the variable in your instance constraint function, e.g. `x` for `fun x -> true`. In an `imandra-repl` session, this is the name of the property on the generated CX module, e.g. the `x` in `CX.x`. |
from imandra_http_api_client.models.printer_details import PrinterDetails
# TODO update the JSON string below
json = "{}"
# create an instance of PrinterDetails from a JSON string
printer_details_instance = PrinterDetails.from_json(json)
# print the JSON string representation of the object
print PrinterDetails.to_json()
# convert the object into a dict
printer_details_dict = printer_details_instance.to_dict()
# create an instance of PrinterDetails from a dict
printer_details_form_dict = printer_details.from_dict(printer_details_dict)