ulkb.new_type_constructor# new_type_constructor(arg1, arg2, arg3=None, theory=None, **kwargs)[source]# Adds new type constructor. See Theory.new_type_constructor().