+++ /dev/null
-let output_dir_default = ""
-
-let baseuri_default = ""
-
-let debug_lexer_default = false
-
-let debug_pass_default = false
-
-let pass_default = false
-
-let output_dir = ref output_dir_default
-
-let baseuri = ref baseuri_default
-
-let debug_lexer = ref debug_lexer_default
-
-let d0 = ref debug_pass_default
-
-let d1 = ref debug_pass_default
-
-let d2 = ref debug_pass_default
-
-let e1 = ref debug_pass_default
-
-let e2 = ref debug_pass_default
-
-let p0 = ref pass_default
-
-let p1 = ref pass_default
-
-let p2 = ref pass_default
-
-let clear () =
- output_dir := output_dir_default;
- baseuri := baseuri_default;
- debug_lexer := debug_lexer_default;
- d0 := debug_pass_default; d1 := debug_pass_default; d2 := debug_pass_default;
- e1 := debug_pass_default; e2 := debug_pass_default;
- p0 := pass_default; p1 := pass_default; p2 := pass_default