Module Values.AutomatedReasoningPolicyMutationSource

A container for various mutation operations that can be applied to an Automated Reasoning policy, including adding, updating, and deleting policy elements.

Sourcetype nonrec t = {
  1. addType : AutomatedReasoningPolicyAddTypeMutation.t option;
    (*

    A mutation to add a new custom type to the policy.

    *)
  2. updateType : AutomatedReasoningPolicyUpdateTypeMutation.t option;
    (*

    A mutation to modify an existing custom type in the policy.

    *)
  3. deleteType : AutomatedReasoningPolicyDeleteTypeMutation.t option;
    (*

    A mutation to remove a custom type from the policy.

    *)
  4. addVariable : AutomatedReasoningPolicyAddVariableMutation.t option;
    (*

    A mutation to add a new variable to the policy.

    *)
  5. updateVariable : AutomatedReasoningPolicyUpdateVariableMutation.t option;
    (*

    A mutation to modify an existing variable in the policy.

    *)
  6. deleteVariable : AutomatedReasoningPolicyDeleteVariableMutation.t option;
    (*

    A mutation to remove a variable from the policy.

    *)
  7. addRule : AutomatedReasoningPolicyAddRuleMutation.t option;
    (*

    A mutation to add a new rule to the policy.

    *)
  8. updateRule : AutomatedReasoningPolicyUpdateRuleMutation.t option;
    (*

    A mutation to modify an existing rule in the policy.

    *)
  9. deleteRule : AutomatedReasoningPolicyDeleteRuleMutation.t option;
    (*

    A mutation to remove a rule from the policy.

    *)
}
Sourceval make : ?addType:??? -> ?updateType:??? -> ?deleteType:??? -> ?addVariable:??? -> ?updateVariable:??? -> ?deleteVariable:??? -> ?addRule:??? -> ?updateRule:??? -> ?deleteRule:??? -> unit -> t
Sourceval 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 ]
Sourceval to_query : t -> Awso.Client.Query.t
Sourceval of_xml : Awso.Xml.t -> t
Sourceval of_string : string -> t
Sourceval of_json : Yojson.Safe.t -> t
Sourceval to_json : t -> Yojson.Safe.t