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 make :
?addType:AutomatedReasoningPolicyAddTypeMutation.t ->
?updateType:AutomatedReasoningPolicyUpdateTypeMutation.t ->
?deleteType:AutomatedReasoningPolicyDeleteTypeMutation.t ->
?addVariable:AutomatedReasoningPolicyAddVariableMutation.t ->
?updateVariable:AutomatedReasoningPolicyUpdateVariableMutation.t ->
?deleteVariable:AutomatedReasoningPolicyDeleteVariableMutation.t ->
?addRule:AutomatedReasoningPolicyAddRuleMutation.t ->
?updateRule:AutomatedReasoningPolicyUpdateRuleMutation.t ->
?deleteRule:AutomatedReasoningPolicyDeleteRuleMutation.t ->
unit ->
tval 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 ]