Exit, el procedimiento que devuelve un valor.

Caso curioso el del procedure exit que devuelve opcionalmente un valor, como si fuese una función. Claro que esto es muy práctico cuando se realizan funciones de validación de datos. Veamos la definición oficial de Exit:

procedure Exit(

const X: TAnyType

);

Exit sale de la subrutina y retorna el control a la rutina que lo llamó. Si se le llama desde la unidad principal, finaliza la ejecución del programa. El argumento opcional X permite especificar un valor de retorno, en el caso de que se invoque desde una función, siendo entonces result = X.

Ejemplo:

Function Validar ( a, b, c: integer ) : boolean;
begin
  if a=b then Exit (True);
  if b>c then Exit (True);
  Exit (False);
end;

Si a=b o b>c pudo haber ido en una sola sentencia pero lo separé para que quede más claro el ejemplo.
Si a=b retorna True y el resto no se ejecuta, lo mismo si b>c. Si no se cumplen las condiciones previas entonces retorna False.