inline procedural "cic:/Coq/Sets/Cpo/Bounds/R.con" "Bounds__" as definition.
inline procedural "cic:/Coq/Sets/Cpo/Upper_Bound.ind".
inline procedural "cic:/Coq/Sets/Cpo/Bounds/R.con" "Bounds__" as definition.
inline procedural "cic:/Coq/Sets/Cpo/Upper_Bound.ind".