(self, s, i)
return self.create_node(node_type=op.STR_CHARAT, args=(s, i))
Returns a single character String at position i.

        s is a string term and i is an integer term. i is the position.
Returns a single character String at position i.
Returns a single character String at position i .
def StrCharAt(self, s, i):
        """Returns a single character String at position i.

        s is a string term and i is an integer term. i is the position.
        """
        return self.create_node(node_type=op.STR_CHARAT, args=(s, i))
def StrCharAt ( self , s , i ) : return self . create_node ( node_type = op . STR_CHARAT , args = ( s , i ) )