let
pretty_node short =
if
short
then
PdgTypes
.
Node
.pretty
else
PdgTypes
.
Pdg
.pretty_node