correspondencia de patrones y correspondencia de patrones anidada en OCaml

Tengo este código OCaml:

type color_primario = Rojo | Verde | Azul

let r = Rojo

type punto = float * float

type forma =
    | Circulo of {centro : punto; radio : float}
    | Rectangulo of {inferior_izquierdo : punto; superior_derecho : punto}

let c1 = Circulo {centro = (0., 0.); radio = 1.}

let r1 = Rectangulo {inferior_izquierdo = (-1., -1.); superior_derecho = (1., 1.)}

let promedio a b = 
    (a +. b) /. 2.

y las siguientes funciones centro que calculan el centro de las diferentes formas:

(* Función uno usando let (...) = ... *)

let centro f = 
    match f with 
    | Circulo {centro; radio} -> centro
    | Rectangulo {inferior_izquierdo; superior_derecho} -> 
        let (x_li, y_li) = inferior_izquierdo in
        let (x_sd, y_sd) = superior_derecho in 
        (promedio x_li x_sd, promedio y_li y_sd)

(* Función dos usando coincidencias de patrones anidadas Rec{ a = ..., b = ...} *)

let centro f = 
    match f with 
    | Circulo {centro; radio} -> centro
    | Rectangulo {inferior_izquierdo = (x_l, y_l); superior_derecho = (x_r, y_r)} -> 
        (promedio x_l x_r, promedio y_l y_r)
    | Punto p -> p

No entiendo completamente cómo funciona la sintaxis de patrones aquí.
¿Cómo se pasan los valores x_ll e y_ll a la función promedio en las primeras y segundas funciones para calcular el centro? Porque a) el par (x_ll, y_ll) no se asigna a una variable y b) los valores de los pares se pasan directamente sin utilizar, por ejemplo, let x_ll (a, b) = a.