AutomatedReasoningCheckTranslationAmbiguousFinding (p.awso.0.9.0.doc.awso.bedrock.Awso_bedrock.Values.AutomatedReasoningCheckTranslationAmbiguousFinding)

Sourcetype nonrec t = {

options : AutomatedReasoningCheckTranslationOptionList.t option;
(*
Different logical interpretations that were detected during translation of the input.
*)
differenceScenarios : AutomatedReasoningCheckDifferenceScenarioList.t option;
(*
Scenarios showing how the different translation options differ in meaning.
*)

}

Sourceval make : ?options:??? -> ?differenceScenarios:??? -> unit -> t

val to_value : 
  t ->
  [> `Structure of
       (string
        * [> `List of
               [> `Structure of
                    (string
                     * [> `List of
                            [> `Structure of
                                 (string
                                  * [> `Double of
                                         AutomatedReasoningCheckTranslationConfidence.t
                                    | `List of
                                      [> `Structure of
                                           (string
                                            * [> `String of
                                                   AutomatedReasoningLogicStatementContent.t ])
                                             list ]
                                        list
                                    | `String of
                                      AutomatedReasoningLogicStatementContent.t ])
                                   list ]
                              list ])
                      list ]
                 list ])
         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