../../ng_paramodulation/foSubst.mli