Values.AutomatedReasoningPolicyDefinitionElementSourceRepresents a single element in an Automated Reasoning policy definition, such as a rule, variable, or type definition.
type nonrec t = {policyDefinitionVariable : AutomatedReasoningPolicyDefinitionVariable.t option;A variable element within the policy definition that represents a concept used in logical expressions and rules.
*)policyDefinitionType : AutomatedReasoningPolicyDefinitionType.t option;A custom type element within the policy definition that defines a set of possible values for variables.
*)policyDefinitionRule : AutomatedReasoningPolicyDefinitionRule.t option;A rule element within the policy definition that contains a formal logical expression used for validation.
*)}val to_value :
t ->
[> `Structure of
(string
* [> `Structure of
(string
* [> `List of
[> `Structure of
(string
* [> `String of
AutomatedReasoningPolicyDefinitionTypeValueName.t ])
list ]
list
| `String of AutomatedReasoningPolicyDefinitionVariableName.t ])
list ])
list ]