Values.AutomatedReasoningPolicyScenarioSourceRepresents a test scenario used to validate an Automated Reasoning policy, including the test conditions and expected outcomes.
type nonrec t = {expression : AutomatedReasoningPolicyScenarioExpression.t option;The logical expression or condition that defines this test scenario.
*)alternateExpression : AutomatedReasoningPolicyScenarioAlternateExpression.t
option;An alternative way to express the same test scenario, used for validation and comparison purposes.
*)expectedResult : AutomatedReasoningCheckResult.t option;The expected outcome when this scenario is evaluated against the policy (e.g., PASS, FAIL, VIOLATION).
*)ruleIds : AutomatedReasoningPolicyDefinitionRuleIdList.t option;The list of rule identifiers that are expected to be triggered or evaluated by this test scenario.
*)}val make :
?expression:AutomatedReasoningPolicyScenarioExpression.t ->
?alternateExpression:AutomatedReasoningPolicyScenarioAlternateExpression.t ->
?expectedResult:AutomatedReasoningCheckResult.t ->
?ruleIds:AutomatedReasoningPolicyDefinitionRuleIdList.t ->
unit ->
tval to_value :
t ->
[> `Structure of
(string
* [> `Enum of string
| `List of
[> `String of AutomatedReasoningPolicyDefinitionRuleId.t ] list
| `String of AutomatedReasoningPolicyScenarioExpression.t ])
list ]