ulkb.show_constants# show_constants(*args, theory=None, **kwargs)[source]# Prints constants matching criteria. See Theory.show_extensions().