ulkb.lookup_type_constructor# lookup_type_constructor(*args, theory=None, **kwargs)[source]# Searches for type constructor. See Theory.lookup_type_constructor().