ulkb.Theory.lookup\_constant
============================

.. currentmodule:: ulkb

.. automethod:: Theory.lookup_constant