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

Module `Values.AutomatedReasoningPolicyUpdateRuleAnnotation`Source

An annotation for modifying an existing rule in an Automated Reasoning policy.

Sourcetype nonrec t = {

ruleId : AutomatedReasoningPolicyDefinitionRuleId.t;
(*
The unique identifier of the rule to update.
*)
expression : AutomatedReasoningPolicyDefinitionRuleExpression.t;
(*
The new formal logical expression for the rule, replacing the previous expression.
*)

}

Sourceval context_ : string

val make : 
  ruleId:AutomatedReasoningPolicyDefinitionRuleId.t ->
  expression:AutomatedReasoningPolicyDefinitionRuleExpression.t ->
  unit ->
  t

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