+type uri_generator = string -> string
+
+type status = {
+ g: Hierarchy.graph; (* sort hierarchy parameter *)
+ delta: bool; (* global delta-expansion *)
+ rt: bool; (* reference typing *)
+ si: bool; (* sort inclusion *)
+ expand: bool (* always expand global definitions *)
+}