(self, name, args, sort_expr)
Declares a symbol as an abreviation for a sort-expression.

        Restrictions: Only after set-logic.
        :returns: None - might raise exception
Declares a symbol as an abreviation for a sort-expression.
Declares a symbol as an abreviation for a sort - expression .
def define_sort(self, name, args, sort_expr):
        """ Declares a symbol as an abreviation for a sort-expression.

        Restrictions: Only after set-logic.
        :returns: None - might raise exception
        """
        raise NotImplementedError
def define_sort ( self , name , args , sort_expr ) : raise NotImplementedError