start

start <term> .

Sets the focus onto the given term <term> of the currently opened module or context. Commands like apply, choose, or match will then operate on this term.

Related: match, choose, apply