- (fun (subst,metasenv,types) (n,_,ty,_) ->
- let _,subst',metasenv' = type_of_aux subst metasenv context ty in
- subst',metasenv', Some (C.Name n,(C.Decl ty)) :: types
- ) (subst,metasenv,[]) fl
+ (fun (subst,metasenv,types,ugraph) (n,_,ty,_) ->
+ let _,subst',metasenv',ugraph1 = type_of_aux subst metasenv context ty ugraph in
+ subst',metasenv', Some (C.Name n,(C.Decl ty)) :: types, ugraph
+ ) (subst,metasenv,[],ugraph) fl