Values.GuardrailAutomatedReasoningLogicWarningSourceIdentifies logical issues in the translated statements that exist independent of any policy rules, such as statements that are always true or always false.
type nonrec t = {type_ : GuardrailAutomatedReasoningLogicWarningType.t option;The category of the detected logical issue, such as statements that are always true or always false.
*)premises : GuardrailAutomatedReasoningStatementList.t option;The logical statements that serve as premises under which the claims are validated.
*)claims : GuardrailAutomatedReasoningStatementList.t option;The logical statements that are validated while assuming the policy and premises.
*)}val to_value :
t ->
[> `Structure of
(string
* [> `Enum of string
| `List of
[> `Structure of
(string
* [> `String of
GuardrailAutomatedReasoningStatementLogicContent.t ])
list ]
list ])
list ]