let define duser items =
let k = duser.d_info.l_var_info in
if not (Hdef.mem index k) then
begin
List.iter
(fun (name,item) ->
D.add_declaration {
d_name = name ;
d_section = S_userdef ;
d_title = (fun fmt -> pp_userdef_title fmt duser) ;
d_descr = (fun fmt -> pp_userdef_descr fmt duser) ;
d_source = None ;
d_item = item ;
})
items ;
Hdef.add index k ()
end