public native reset() as Void
Restarts matching at the beginning of the original input. Reloads the originating RegEx's current pattern and flags. Changes made during a traversal take effect only at reset, never midway through find.
matcher = RegEx(r"\d+").matcher("12 34")
matcher.find()
matcher.reset()
matcher.find()
print(matcher.group()) # 12