Values.AutomatedReasoningPolicyMutationSourceA container for various mutation operations that can be applied to an Automated Reasoning policy, including adding, updating, and deleting policy elements.
type nonrec t = {addType : AutomatedReasoningPolicyAddTypeMutation.t option;A mutation to add a new custom type to the policy.
*)updateType : AutomatedReasoningPolicyUpdateTypeMutation.t option;A mutation to modify an existing custom type in the policy.
*)deleteType : AutomatedReasoningPolicyDeleteTypeMutation.t option;A mutation to remove a custom type from the policy.
*)addVariable : AutomatedReasoningPolicyAddVariableMutation.t option;A mutation to add a new variable to the policy.
*)updateVariable : AutomatedReasoningPolicyUpdateVariableMutation.t option;A mutation to modify an existing variable in the policy.
*)deleteVariable : AutomatedReasoningPolicyDeleteVariableMutation.t option;A mutation to remove a variable from the policy.
*)addRule : AutomatedReasoningPolicyAddRuleMutation.t option;A mutation to add a new rule to the policy.
*)updateRule : AutomatedReasoningPolicyUpdateRuleMutation.t option;A mutation to modify an existing rule in the policy.
*)deleteRule : AutomatedReasoningPolicyDeleteRuleMutation.t option;A mutation to remove a rule from the policy.
*)}val to_value :
t ->
[> `Structure of
(string
* [> `Structure of
(string
* [> `String of AutomatedReasoningPolicyDefinitionTypeName.t
| `Structure of
(string
* [> `List of
[> `Structure of
(string
* [> `String of
AutomatedReasoningPolicyDefinitionTypeValueName.t ])
list ]
list
| `String of
AutomatedReasoningPolicyDefinitionTypeName.t ])
list ])
list ])
list ]