(self, vname, params)
return self.create_node(node_type=op.FUNCTION,
                                args=tuple(params),
                                payload=vname)
Returns the function application of vname to params.

        Note: Applying a 0-arity function returns the function itself.
Returns the function application of vname to params.
Returns the function application of vname to params .
def Function(self, vname, params):
        """Returns the function application of vname to params.

        Note: Applying a 0-arity function returns the function itself.
        """
        if len(params) == 0:
            return vname
        assert len(params) == len(vname.symbol_type().param_types)
        return self.create_node(node_type=op.FUNCTION,
                                args=tuple(params),
                                payload=vname)
def Function ( self , vname , params ) : if len ( params ) == 0 : return vname assert len ( params ) == len ( vname . symbol_type ( ) . param_types ) return self . create_node ( node_type = op . FUNCTION , args = tuple ( params ) , payload = vname )