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

Module `Values.AutomatedReasoningPolicyDeleteRuleAnnotation`Source

An annotation for removing a rule from an Automated Reasoning policy.

Sourcetype nonrec t = {

ruleId : AutomatedReasoningPolicyDefinitionRuleId.t;
(*
The unique identifier of the rule to delete from the policy.
*)

}

Sourceval context_ : string

Sourceval make : ruleId:AutomatedReasoningPolicyDefinitionRuleId.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