fact: Fixpoint merge_hyps_aux (prec : I.precision) (hyps : list hyp) (acc : I.type) := match hyps with | h :: t => merge_hyps_aux prec t (I.meet (eval_hyp_bnd prec h) acc) | nil => acc end.
imports: Coq(Reals Psatz) Flocq(Raux) Coq(List) Xreal Interval Tree Prog