module U = NUri
module H = U.UriHash
module C = Cps
+module O = Options
module Y = Entity
module M = Meta
module A = Aut
(* Internal functions *******************************************************)
-let initial_status cover =
- H.clear henv; H.clear hcnt; {
- path = []; node = None; nodes = []; line = 1; cover = cover;
-}
-
let id_of_name (id, _, _) = id
let mk_qid st id path =
(* Interface functions ******************************************************)
-let initial_status ?(cover="") () =
- initial_status cover
+let initial_status () =
+ H.clear henv; H.clear hcnt; {
+ path = []; node = None; nodes = []; line = 1; cover = !O.cover
+}
+
+let refresh_status st = {st with
+ cover = !O.cover
+}
let meta_of_aut = xlate_entity