Module Ben_frontends.Clflags
val get_env_default : string -> string -> stringval show_version : bool Stdlib.refval dry_run : bool Stdlib.refval verbose : bool Stdlib.refval cache_dir : string Stdlib.refval cache_file : string Stdlib.refval use_cache : bool Stdlib.refval use_benrc : bool Stdlib.refval mirror_binaries : string Stdlib.refval mirror_sources : string Stdlib.refval mirror : string Stdlib.refval suite : string Stdlib.refval components : string list option Stdlib.refval quiet : bool Stdlib.refval update : bool Stdlib.refval set_cache_file : string -> unitval get_cache_file : unit -> stringval progress : ('a, Stdlib.out_channel, unit, unit) Stdlib.format4 -> 'aval debian_architectures : string list option Stdlib.refval ignored_architectures : string list Stdlib.ref