ulkb.lookup_constant# lookup_constant(*args, theory=None, **kwargs)[source]# Searches for constant. See Theory.lookup_constant().