(self, symbol)
Declare a function symbol.

        Restrictions: Only after set-logic.

        :param symbol: Symbol to be declared
        :type name:  Pysmt symbol
        :returns: None - might raise exceptions
Declare a function symbol.
Declare a function symbol .
def declare_fun(self, symbol):
        """ Declare a function symbol.

        Restrictions: Only after set-logic.

        :param symbol: Symbol to be declared
        :type name:  Pysmt symbol
        :returns: None - might raise exceptions
        """
        raise NotImplementedError
def declare_fun ( self , symbol ) : raise NotImplementedError