in_bool
=======

.. currentmodule:: proveit.logic

.. autofunction:: in_bool