Values.AutomatedReasoningPolicyDefinitionSourceContains the formal logic rules, variables, and custom variable types that define an Automated Reasoning policy. The policy definition specifies the constraints used to validate foundation model responses for accuracy and logical consistency.
type nonrec t = {version : AutomatedReasoningPolicyFormatVersion.t option;The version of the policy definition format.
*)types : AutomatedReasoningPolicyDefinitionTypeList.t option;The custom user-defined vairable types used in the policy. Types are enum-based variable types that provide additional context beyond the predefined variable types.
*)rules : AutomatedReasoningPolicyDefinitionRuleList.t option;The formal logic rules extracted from the source document. Rules define the logical constraints that determine whether model responses are valid, invalid, or satisfiable.
*)variables : AutomatedReasoningPolicyDefinitionVariableList.t option;The variables that represent concepts in the policy. Variables can have values assigned when translating natural language into formal logic. Their descriptions are crucial for accurate translation.
*)}val to_value :
t ->
[> `Structure of
(string
* [> `List of
[> `Structure of
(string
* [> `List of
[> `Structure of
(string
* [> `String of
AutomatedReasoningPolicyDefinitionTypeValueName.t ])
list ]
list
| `String of
AutomatedReasoningPolicyDefinitionTypeName.t ])
list ]
list
| `String of AutomatedReasoningPolicyFormatVersion.t ])
list ]