- mk_choice ~mk_appl ~mk_implicit ~term_of_uri
- (List.find
- (fun (dsc', _, _) -> dsc = dsc')
- (TermAcicContent.lookup_interpretations symbol))
+ mk_choice ~mk_appl ~mk_implicit ~term_of_uri ~term_of_nref
+ (List.find (fun (dsc', _, _) -> dsc = dsc') interpretations)