let mask_of_appl_pattern = function
| Pt.UriPattern uri -> Uri uri, []
+ | Pt.ImplicitPattern
| Pt.VarPattern _ -> Blob, []
| Pt.ApplPattern pl -> Appl (List.map (fun _ -> Blob) pl), pl
List.map2
(fun p t ->
match p with
+ | Pt.ImplicitPattern -> Util.fresh_name (), t
| Pt.VarPattern name -> name, t
| _ -> assert false)
pl matched_terms