let add_int_format_hyp vformat t h = match int_format_for_hyp t with | None -> h | Some fmt -> let h_format = F.p_eq vformat fmt in F.p_and h_format h