pymzn.val2dzn

pymzn.val2dzn(val, wrap=True)

Serializes a value into its dzn representation.

The supported types are bool, int, float, set, array.

Parameters

• val – The value to serialize

• wrap (bool) – Whether to wrap the serialized value.

Returns

The serialized dzn representation of the given value.

Return type

str