[PPL-devel] [GIT] ppl/ppl(pip): Typedef for PIP_Tree moved to PIP_Tree.types.hh.