Podemos acceder a los valores que componen un registro usando la notación registro[nombre-de-campo], donde registro es el registro del que queremos extraer el campo, y nombre-de-campo es el nombre del campo a extraer. Por ejemplo:
let
ficha = [nombre = "José", edad = 75, ciudad = "Madrid"]
in
ficha[nombre]
José