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