Hashtbl.hash mask, tl
let mask_of_appl_pattern = function
- | Pt.UriPattern uri -> Uri uri, []
- | Pt.VarPattern _ -> Blob, []
- | Pt.ApplPattern pl -> Appl (List.map (fun _ -> Blob) pl), pl
+ | GrafiteAst.UriPattern uri -> Uri uri, []
+ | GrafiteAst.VarPattern _ -> Blob, []
+ | GrafiteAst.ApplPattern pl -> Appl (List.map (fun _ -> Blob) pl), pl
let tag_of_pattern p =
let mask, pl = mask_of_appl_pattern p in
Hashtbl.hash mask, pl
- type pattern_t = Pt.cic_appl_pattern
+ type pattern_t = GrafiteAst.cic_appl_pattern
type term_t = Cic.annterm
let classify = function
- | Pt.VarPattern _ -> Variable
+ | GrafiteAst.VarPattern _ -> Variable
| _ -> Constructor
end
List.map2
(fun p t ->
match p with
- | Pt.VarPattern name -> name, t
+ | GrafiteAst.VarPattern name -> name, t
| _ -> assert false)
pl matched_terms
in