Odoc_info.Global
val errors : int ref
val warn_error : bool ref
val out_file : string ref
val verbose : bool ref
val target_dir : string ref
val title : string option ref
val intro_file : string option ref
val with_toc : bool ref
val with_index : bool ref
val with_header : bool ref
val with_trailer : bool ref