Module Eva.Value_parameters

module Value_parameters: sig .. end

val enabled_domains : unit -> (string * string) list
Returns the list (name, descr) of currently enabled abstract domains.