ulkb.Theory.new\_constant
=========================

.. currentmodule:: ulkb

.. automethod:: Theory.new_constant