pppx_if_cmp
RBT_PROTOTYPE(pppx_ifs, pppx_if, pxi_entry, pppx_if_cmp);
RBT_GENERATE(pppx_ifs, pppx_if, pxi_entry, pppx_if_cmp);