val sgrep_mode : bool ref
val show_SP : bool ref
val show_iso_failures : bool ref
val interpret_inverted : bool ref
val iso_limit : int option ref
val disabled_isos : string list ref
val keep_ml_script : bool ref
val id_utils_index : string ref
val in_minus : bool ref
val debug_parse_cocci : bool ref
val generating_mode : bool ref
