5 let version = Version.id
8 let debug_level = ref 0
10 let set_debug_level n
=
12 if n
> 1 then Syntax.debug
:= true
14 let debug1 () = !debug_level > 0
16 let gen_header : [ `Full
| `Without_timestamp
] option ref = ref (Some `Full
)
18 let include_category : [ `All
| `None
| `Only
of Stmt.category list
| `Except
of Stmt.category list
] ref = ref `All