summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
c0e0ae4)
(local context) of a variable.
let module S = CicSubstitution in
function
C.Rel _ as t -> t
let module S = CicSubstitution in
function
C.Rel _ as t -> t
+ | C.Var (uri,exp_named_subst) ->
+ let exp_named_subst' =
+ List.map (fun (uri, t) -> (uri, um_aux t)) exp_named_subst
+ in
+ C.Var (uri, exp_named_subst')
| C.Meta (i, l) ->
(try
let t = List.assoc i subst in
| C.Meta (i, l) ->
(try
let t = List.assoc i subst in