(* Internal functions *******************************************************)
let name_of_id ?(r=true) id = E.Name (id, r)
-
+(*
let mk_lref f i j k = f (D.TLRef ([E.Apix k], i, j))
let mk_gref f uri = f (D.TGRef ([], uri))
err st
(* Interface functions ******************************************************)
-
+*)
let initial_status () =
Hashtbl.clear henv; {
path = []; line = 1; sort = 0; mk_uri = G.get_mk_uri ()
mk_uri = G.get_mk_uri ()
}
-let crg_of_txt = xlate_entity
+let crg_of_txt _ _ = assert false (* xlate_entity *)