Module Values.GuardrailAutomatedReasoningStatementSource

A logical statement that includes both formal logic representation and natural language explanation.

Sourcetype nonrec t = {
  1. logic : GuardrailAutomatedReasoningStatementLogicContent.t option;
    (*

    The formal logical representation of the statement.

    *)
  2. naturalLanguage : GuardrailAutomatedReasoningStatementNaturalLanguageContent.t option;
    (*

    The natural language explanation of the logical statement.

    *)
}
Sourceval make : ?logic:??? -> ?naturalLanguage:??? -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `String of GuardrailAutomatedReasoningStatementLogicContent.t ]) list ]
Sourceval to_query : t -> Awso.Client.Query.t
Sourceval of_xml : Awso.Xml.t -> t
Sourceval of_string : string -> t
Sourceval of_json : Yojson.Safe.t -> t
Sourceval to_json : t -> Yojson.Safe.t