let pcmp_rel op x y = match op with | Eq -> F.p_eq x y | Ne -> F.p_neq x y | Lt -> D.lt_pointer x y | Le -> D.le_pointer x y | Ge -> D.le_pointer y x | Gt -> D.lt_pointer y x | _ -> assert false