if n < k then C.Rel n else C.Rel (n + nnn)
| C.Var (uri,exp_named_subst) ->
let exp_named_subst' =
List.map (function (uri,t) -> uri,substaux k t) exp_named_subst
in
C.Var (uri,exp_named_subst')
if n < k then C.Rel n else C.Rel (n + nnn)
| C.Var (uri,exp_named_subst) ->
let exp_named_subst' =
List.map (function (uri,t) -> uri,substaux k t) exp_named_subst
in
C.Var (uri,exp_named_subst')