sig   type t = PdgTypes.Node.t   val pretty : Format.formatter -> PdgTypes.Node.t -> unit end