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