- | C.AMeta (id,_) ->
- link_hints annotation_window
- [| "Number", "<attribute name = 'no' id = '" ^ id ^ "'/>" |]
+ | C.AMeta (id,_,subst) ->
+ let res =
+ Array.append
+ [| "Number", "<attribute name = 'no' id = '" ^ id ^ "'/>" |]
+ (Array.mapi
+ (fun i s ->
+ match s with
+ None ->
+ "Argument " ^ string_of_int i, "_"
+ | Some t ->
+ "Argument " ^ string_of_int i, "<node id ='" ^ get_id t ^ "'/>"
+ ) (Array.of_list subst)
+ )
+ in
+ link_hints annotation_window res