Values.GuardrailAutomatedReasoningSatisfiableFindingSourceIndicates that the claims could be either true or false depending on additional assumptions not provided in the input.
type nonrec t = {translation : GuardrailAutomatedReasoningTranslation.t option;The logical translation of the input that this finding evaluates.
*)claimsTrueScenario : GuardrailAutomatedReasoningScenario.t option;An example scenario demonstrating how the claims could be logically true.
*)claimsFalseScenario : GuardrailAutomatedReasoningScenario.t option;An example scenario demonstrating how the claims could be logically false.
*)logicWarning : GuardrailAutomatedReasoningLogicWarning.t option;Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
*)}val to_value :
t ->
[> `Structure of
(string
* [> `Structure of
(string
* [> `Double of
GuardrailAutomatedReasoningTranslationConfidence.t
| `Enum of string
| `List of
[> `Structure of
(string
* [> `String of
GuardrailAutomatedReasoningStatementLogicContent.t ])
list ]
list ])
list ])
list ]