cwitools.synthesis.obj\_spec
===================================

.. currentmodule:: cwitools.synthesis

.. autofunction:: obj_spec