module Ast = CicNotationPt
module Util = CicNotationUtil
+let reference_of_oxuri = ref (fun _ -> assert false);;
+let set_reference_of_oxuri f = reference_of_oxuri := f;;
+
module Matcher32 =
struct
module Pattern32 =
Hashtbl.hash mask, tl
let mask_of_appl_pattern = function
- | Ast.UriPattern uri -> NRef (OCic2NCic.reference_of_oxuri uri), []
+ | Ast.UriPattern uri -> NRef (!reference_of_oxuri uri), []
| Ast.NRefPattern nref -> NRef nref, []
| Ast.ImplicitPattern
| Ast.VarPattern _ -> Blob, []