sig
type value =
Bool_value of bool
| Int_value of int
| String_value of string
| Symbol_value of string
| Symbol_list_value of string list
type check = {
check_name : CheckName.t;
check_values : (ParameterName.t * Configuration.value) list option;
}
type category = {
category_name : CategoryName.t;
category_checks : Configuration.check list;
}
type t = Configuration.category list
end