module Configuration:sig
..end
type
value =
| |
Bool_value of |
(* | Boolean value. | *) |
| |
Int_value of |
(* | Integer value. | *) |
| |
String_value of |
(* | String value. | *) |
| |
Symbol_value of |
(* | Symbol value. | *) |
| |
Symbol_list_value of |
(* | List value. | *) |
type
check = {
|
check_name : |
(* | Name of activated check. | *) |
|
check_values : |
(* | Parameter associated with check, None means that the check was
configured with the "true" value (used to differentiate from
an empty set of parameters {} ). | *) |
type
category = {
|
category_name : |
(* | Name of category for embedded activated checks. | *) |
|
category_checks : |
(* | Activated checks for category. | *) |
typet =
category list