(* interface functions ******************************************************)
-let xdir = ref ""
+let stage = ref 3 (* stage *)
-let kernel = ref Brg
+let trace = ref 0 (* trace level *)
+
+let summary = ref false (* log summary information *)
+
+let xdir = ref "" (* directory for XML output *)
+
+let kernel = ref Brg (* kernel type *)
let si = ref false (* use sort inclusion *)
fun s -> F.concat bu (s ^ ".ld")
let clear () =
+ stage := 3; trace := 0; summary := false;
xdir := ""; kernel := Brg; si := false; cover := "";
expand := false; indexes := false; icm := 0; unquote := false;
debug_parser := false; debug_lexer := false