Module Conf_exploration

module Conf_exploration: sig .. end

type conf_t = string * int 
val get_conf_name : conf_t -> string
val get_conf_id : conf_t -> int
val counter_conf : unit -> int
val build_analysis_configuration : string -> conf_t -> Options.trace_analysis_config