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