Values.GuardrailAutomatedReasoningStatementSourceA logical statement that includes both formal logic representation and natural language explanation.
type nonrec t = {logic : GuardrailAutomatedReasoningStatementLogicContent.t option;The formal logical representation of the statement.
*)naturalLanguage : GuardrailAutomatedReasoningStatementNaturalLanguageContent.t
option;The natural language explanation of the logical statement.
*)}val make :
?logic:GuardrailAutomatedReasoningStatementLogicContent.t ->
?naturalLanguage:GuardrailAutomatedReasoningStatementNaturalLanguageContent.t ->
unit ->
tval to_value :
t ->
[> `Structure of
(string
* [> `String of GuardrailAutomatedReasoningStatementLogicContent.t ])
list ]