This is an old interface and will be deprecated in the future. You are encouraged to use Bluefin.Capability.JumpTo instead.

Jump allows you to jump back to a previously-set location. A "jump" is equivalent to an untyped early return, or more precisely an early return of type (), which is itself an exception of type ().