public native reset() as Void
Restarts matching at the beginning of the original input.
matcher = RegEx(r"\d+").matcher("12 34") matcher.find() matcher.reset() matcher.find() print(matcher.group()) # 12