(self, name, cardinality)
Declares a new sort with the given name and cardinality.

        Restrictions: Only after set-logic.

        :returns: None - might raise exception
Declares a new sort with the given name and cardinality.
Declares a new sort with the given name and cardinality .
def declare_sort(self, name, cardinality):
        """ Declares a new sort with the given name and cardinality.

        Restrictions: Only after set-logic.

        :returns: None - might raise exception
        """
        raise NotImplementedError
def declare_sort ( self , name , cardinality ) : raise NotImplementedError