hail
hail copied to clipboard
[query] add string find() function
We got a request in zulip to add a function that works like the python str.find()
function. This should be straightforward. We just need to register a function in StringFunctions
that calls the java String.indexOf
method, and expose it in python.