我想实现 函数使用 ,这是我尝试过的: let rec assoc lista x = match lista with | (a,b)::l-> try (List.find (fun x -> a = x) lista) with Not_found -> assoc l x;; 但是它给了我这个错误: 此表达式的类型为('a * 'b) list,但表达式的
我不知道如何更改我的add函数的代码。exists w tr = match w, tr with | h::t, Node (_, l) -> try exists t (List.assoc= match w, tr with | h :: t, Node (b, l) -> try add t (List.assoch l)