Definitions Found:

to type again