struct
type cic_mask_t =
Blob
- | Uri of UriManager.uri
+ | NRef of NReference.reference
| Appl of cic_mask_t list
let uri_of_term t = CicUtil.uri_of_term (Deannotate.deannotate_term t)
let mask_of_cic = function
| NCic.Appl tl -> Appl (List.map (fun _ -> Blob) tl), tl
- | NCic.Const nref -> Uri (NCic2OCic.ouri_of_reference nref), []
+ | NCic.Const nref -> NRef nref, []
| _ -> Blob, []
let tag_of_term t =
Hashtbl.hash mask, tl
let mask_of_appl_pattern = function
- | Ast.UriPattern uri -> Uri uri, []
+ | Ast.UriPattern uri -> NRef (OCic2NCic.reference_of_oxuri uri), []
+ | Ast.NRefPattern nref -> NRef nref, []
| Ast.ImplicitPattern
| Ast.VarPattern _ -> Blob, []
| Ast.ApplPattern pl -> Appl (List.map (fun _ -> Blob) pl), pl
| Ast.ImplicitPattern
| Ast.VarPattern _ -> PatternMatcher.Variable
| Ast.UriPattern _
+ | Ast.NRefPattern _
| Ast.ApplPattern _ -> PatternMatcher.Constructor
end