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