Values.AutomatedReasoningPolicyAnnotationSourceContains the various operations that can be performed on an Automated Reasoning policy, including adding, updating, and deleting rules, variables, and types.
type nonrec t = {addType : AutomatedReasoningPolicyAddTypeAnnotation.t option;An operation to add a new custom type to the policy, defining a set of possible values for policy variables.
*)updateType : AutomatedReasoningPolicyUpdateTypeAnnotation.t option;An operation to modify an existing custom type in the policy, such as changing its name, description, or allowed values.
*)deleteType : AutomatedReasoningPolicyDeleteTypeAnnotation.t option;An operation to remove a custom type from the policy. The type must not be referenced by any variables or rules.
*)addVariable : AutomatedReasoningPolicyAddVariableAnnotation.t option;An operation to add a new variable to the policy, which can be used in rule expressions to represent dynamic values.
*)updateVariable : AutomatedReasoningPolicyUpdateVariableAnnotation.t option;An operation to modify an existing variable in the policy, such as changing its name, type, or description.
*)deleteVariable : AutomatedReasoningPolicyDeleteVariableAnnotation.t option;An operation to remove a variable from the policy. The variable must not be referenced by any rules.
*)addRule : AutomatedReasoningPolicyAddRuleAnnotation.t option;An operation to add a new logical rule to the policy using formal mathematical expressions.
*)updateRule : AutomatedReasoningPolicyUpdateRuleAnnotation.t option;An operation to modify an existing rule in the policy, such as changing its logical expression or conditions.
*)deleteRule : AutomatedReasoningPolicyDeleteRuleAnnotation.t option;An operation to remove a rule from the policy.
*)addRuleFromNaturalLanguage : AutomatedReasoningPolicyAddRuleFromNaturalLanguageAnnotation.t
option;An operation to add a new rule by converting natural language descriptions into formal logical expressions.
*)updateFromRulesFeedback : AutomatedReasoningPolicyUpdateFromRuleFeedbackAnnotation.t
option;An operation to update the policy based on feedback about how specific rules performed during testing or validation.
*)updateFromScenarioFeedback : AutomatedReasoningPolicyUpdateFromScenarioFeedbackAnnotation.t
option;An operation to update the policy based on feedback about how it performed on specific test scenarios.
*)ingestContent : AutomatedReasoningPolicyIngestContentAnnotation.t option;An operation to process and incorporate new content into the policy, extracting additional rules and concepts.
*)}val make :
?addType:??? ->
?updateType:??? ->
?deleteType:??? ->
?addVariable:??? ->
?updateVariable:??? ->
?deleteVariable:??? ->
?addRule:??? ->
?updateRule:??? ->
?deleteRule:??? ->
?addRuleFromNaturalLanguage:??? ->
?updateFromRulesFeedback:??? ->
?updateFromScenarioFeedback:??? ->
?ingestContent:??? ->
unit ->
tval to_value :
t ->
[> `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 ]