AutomatedReasoningCheckInvalidFinding (u.bd1fbe2ccff02fd1cddfdcb5f1e38e71.awso.0.9.1.doc.awso.bedrock.Awso_bedrock.Values.AutomatedReasoningCheckInvalidFinding)

Sourcetype nonrec t = {

translation : AutomatedReasoningCheckTranslation.t option;
(*
The logical translation of the input that this finding invalidates.
*)
contradictingRules : AutomatedReasoningCheckRuleList.t option;
(*
The automated reasoning policy rules that contradict the claims in the input.
*)
logicWarning : AutomatedReasoningCheckLogicWarning.t option;
(*
Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
*)

}

val make : 
  ?translation:??? ->
  ?contradictingRules:??? ->
  ?logicWarning:??? ->
  unit ->
  t

Source

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