+let out_dir = ref default_out_dir (* directory of generated files *)
+
+let proc_id = ref default_proc_id (* identifer for anticipations *)
+
+let test = ref default_test (* test anticipation *)
+
+let no_types = ref default_no_types (* omit types *)
+
+let global_alpha = ref default_global_alpha (* log alpha-unconverted identifiers *)
+
+let log_alpha = ref default_log_alpha (* log alpha-unconverted identifiers *)
+
+let log_missing = ref default_log_missing (* log missing notational macros *)
+
+let list_och = ref default_list_och (* output stream for list file *)
+
+let alpha_type = ref default_alpha (* data for type-based alpha-conversion *)
+
+let alpha_sort = ref default_alpha (* data for sort-based alpha-conversion *)
+
+let macro_gref = ref default_macro (* data eta-conversion and constant rendering *)
+
+let is_global_id s =
+ !global_alpha && s <> dno_id
+
+let close_list () = match !list_och with
+ | None -> ()
+ | Some och -> close_out och