let get_definition cc fdef =
let xdef = fdef.l_var_info in
let udef , items =
try Hdef.find user_definitions xdef
with Not_found ->
let cdef = cc fdef in
Hdef.add user_definitions xdef cdef ; cdef
in
UserDefinition.define udef items ; udef