Function escape_to_label 

pub fn escape_to_label(
    cx: &mut Cx,
    prompts: &[LabeledPrompt],
    exit: NonLocalExit,
) -> Result<ControlResultValue>

Performs exit by aborting to the matching LabeledPrompt in prompts.

Searches prompts innermost-first for the exit’s label and aborts to it, returning the ControlResultValue the abort produces. Fails with Error::Eval when no labeled prompt matches.