contains
========

.. currentmodule:: semstr.constraints

.. autofunction:: contains