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