Values.AutomatedReasoningPolicyAddRuleFromNaturalLanguageAnnotationSourceAn annotation for adding a new rule to the policy by converting a natural language description into a formal logical expression.
type nonrec t = {naturalLanguage : AutomatedReasoningPolicyAnnotationRuleNaturalLanguage.t;The natural language description of the rule that should be converted into a formal logical expression.
*)}val make :
naturalLanguage:AutomatedReasoningPolicyAnnotationRuleNaturalLanguage.t ->
unit ->
tval to_value :
t ->
[> `Structure of
(string
* [> `String of AutomatedReasoningPolicyAnnotationRuleNaturalLanguage.t ])
list ]