Module Values.AutomatedReasoningPolicyBuildWorkflowRepairContentSource

Contains content and instructions for repairing or improving an existing Automated Reasoning policy.

Sourcetype nonrec t = {
  1. annotations : AutomatedReasoningPolicyAnnotationList.t;
    (*

    Specific annotations or modifications to apply during the policy repair process, such as rule corrections or variable updates.

    *)
}
Sourceval context_ : string
Sourceval make : annotations:AutomatedReasoningPolicyAnnotationList.t -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `List of [> `Structure of (string * [> `Structure of (string * [> `List of [> `String of AutomatedReasoningPolicyDefinitionRuleId.t | `Structure of (string * [> `String of AutomatedReasoningPolicyDefinitionTypeValueName.t | `Structure of (string * [> `String of AutomatedReasoningPolicyDefinitionTypeValueName.t ]) list ]) list ] list | `String of AutomatedReasoningPolicyDefinitionTypeName.t ]) list ]) 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