AutomatedReasoningCheckSatisfiableFinding (p.awso.0.9.1.doc.awso.bedrock.Awso_bedrock.Values.AutomatedReasoningCheckSatisfiableFinding)

Sourcetype nonrec t = {

translation : AutomatedReasoningCheckTranslation.t option;
(*
The logical translation of the input that this finding evaluates.
*)
claimsTrueScenario : AutomatedReasoningCheckScenario.t option;
(*
An example scenario demonstrating how the claims could be logically true.
*)
claimsFalseScenario : AutomatedReasoningCheckScenario.t option;
(*
An example scenario demonstrating how the claims could be logically false.
*)
logicWarning : AutomatedReasoningCheckLogicWarning.t option;
(*
Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
*)

}

val make : 
  ?translation:??? ->
  ?claimsTrueScenario:??? ->
  ?claimsFalseScenario:??? ->
  ?logicWarning:??? ->
  unit ->
  t

Source

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