ulkb.new_base_type# new_base_type(arg1, theory=None, **kwargs)[source]# Adds new base type. See Theory.new_base_type().