(* CONTEXT-SENSITIVE PARALLEL R-TRANSITION FOR BINDERS **********************)
definition cpr_ext (h) (G): relation3 lenv bind bind ≝
(* CONTEXT-SENSITIVE PARALLEL R-TRANSITION FOR BINDERS **********************)
definition cpr_ext (h) (G): relation3 lenv bind bind ≝