Up – Package index » awso » Library awso.bedrock » Awso_bedrock » Values » AutomatedReasoningCheckLogicWarning

Module `Values.AutomatedReasoningCheckLogicWarning`Source

Identifies logical issues in the translated statements that exist independent of any policy rules, such as statements that are always true or always false.

Sourcetype nonrec t = {

type_ : AutomatedReasoningCheckLogicWarningType.t option;
(*
The category of the detected logical issue, such as statements that are always true or always false.
*)
premises : AutomatedReasoningLogicStatementList.t option;
(*
The logical statements that serve as premises under which the claims are validated.
*)
claims : AutomatedReasoningLogicStatementList.t option;
(*
The logical statements that are validated while assuming the policy and premises.
*)

}

Sourceval make : ?type_:??? -> ?premises:??? -> ?claims:??? -> unit -> t

Source

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