let
pdg_name pdg =
Kernel_function
.get_name (get_pdg_kf pdg)