let
pdg_name pdg =
Kernel_function
.get_name (
PdgTypes
.
Pdg
.get_kf pdg)