ulkb.new_constant# new_constant(arg1, arg2, theory=None, **kwargs)[source]# Adds new (primitive) constant. See Theory.new_constant().