- | C.Constant (_,Some te,ty,v,_)
- | C.Variable (_,Some te,ty,v,_) ->
- aux te;
- aux ty;
- List.iter aux_uri v
- | C.Constant (_,None, ty, v,_)
- | C.Variable (_,None, ty, v,_) ->
- aux ty;
- List.iter aux_uri v
+ | C.Constant (x,Some te,ty,v,y) ->
+ List.iter aux_uri v;
+ C.Constant (x,Some (aux te),aux ty,v,y)
+ | C.Variable (x,Some te,ty,v,y) ->
+ List.iter aux_uri v;
+ C.Variable (x,Some (aux te),aux ty,v,y)
+ | C.Constant (x,None, ty, v,y) ->
+ List.iter aux_uri v;
+ C.Constant (x,None, aux ty, v,y)
+ | C.Variable (x,None, ty, v,y) ->
+ List.iter aux_uri v;
+ C.Variable (x,None, aux ty, v,y)