Values.AutomatedReasoningPolicyDefinitionQualityReportSourceProvides a comprehensive analysis of the quality and completeness of an Automated Reasoning policy definition, highlighting potential issues and optimization opportunities.
type nonrec t = {typeCount : Integer.t option;The total number of custom types defined in the policy.
*)variableCount : Integer.t option;The total number of variables defined in the policy.
*)ruleCount : Integer.t option;The total number of rules defined in the policy.
*)unusedTypes : AutomatedReasoningPolicyDefinitionTypeNameList.t option;A list of custom types that are defined but not referenced by any variables or rules, suggesting they may be unnecessary.
*)unusedTypeValues : AutomatedReasoningPolicyDefinitionTypeValuePairList.t option;A list of type values that are defined but never used in any rules, indicating potential cleanup opportunities.
*)unusedVariables : AutomatedReasoningPolicyDefinitionVariableNameList.t option;A list of variables that are defined but not referenced by any rules, suggesting they may be unnecessary.
*)conflictingRules : AutomatedReasoningPolicyConflictedRuleIdList.t option;A list of rules that may conflict with each other, potentially leading to inconsistent policy behavior.
*)disjointRuleSets : AutomatedReasoningPolicyDisjointRuleSetList.t option;Groups of rules that operate on completely separate sets of variables, indicating the policy may be addressing multiple unrelated concerns.
*)}val to_value :
t ->
[> `Structure of
(string
* [> `Integer of Integer.t
| `List of
[> `String of AutomatedReasoningPolicyDefinitionTypeName.t
| `Structure of
(string
* [> `List of
[> `String of
AutomatedReasoningPolicyDefinitionVariableName.t ]
list
| `String of AutomatedReasoningPolicyDefinitionTypeName.t ])
list ]
list ])
list ]