¿Cómo documentar los parámetros de Java Record?

¿Cómo se supone que se deben documentar los parámetros de Java Record ? Me refiero a los parámetros que terminan convirtiéndose en parámetros de constructor, campos de clase. Lo intenté: /** * @param name the name of the animal * @param age the age of the animal */ public record Animal(String...