Decode a JSON string into a PocketPy object.
It is supported by the
Encode a PocketPy object into a JSON string.
It is supported by the compiler with
There is a special method
__json__() for PocketPy object.
If it is defined, it will be called when
json.dumps() is called.