"""Glue code used in jasyscript.py to have a convenient API on top of the full Jasy API."""

"""Glue code used in jasyscript.py to have a convenient API on top of the full Jasy API."""

Glue code used in jasyscript.py to have a convenient API on top of the full Jasy API.