Around definable types in p-adically closed fields. - Pablo Andújar Guerrero; Will Johnson (Ann. Pure Appl. Log., 2024)