blob: 2dc3b26cff9f07d668ccf5eb5df5b41e1bbc3c1e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
val verbose : bool ref
val quiet : bool ref
val generate_pot : bool ref
val expand_tabs : int option ref
val no_cache : bool ref
val check_unused_global_vars : bool ref
val check_white_space : bool ref
val check_suggest_simpler : bool ref
val check_void : bool ref
val check_context : bool ref
val check_strange : bool ref
val check_traps : bool ref
val check_complex_expressions : bool ref
val normalized_expressions : bool ref
val check_help_perl_checker : bool ref
val suggest_functional : bool ref
val check_prototypes : bool ref
val check_names : bool ref
val check_import_export : bool ref
val allow_MDK_Common : bool ref
val is_warning_type_set : Types.warning -> bool
val are_warning_types_set : Types.warning list -> bool
|
