let pretty ?(bw=false) fmt pdg = let kf = PdgTypes.Pdg.get_kf pdg in Format.fprintf fmt "@[RESULT for %s:@]@\n@[%a@]" (Kernel_function.get_name kf) (PdgTypes.Pdg.pretty_bw ~bw) pdg