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

Module `Values.AutomatedReasoningPolicyDeleteVariableAnnotation`Source

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

Sourcetype nonrec t = {

name : AutomatedReasoningPolicyDefinitionVariableName.t;
(*
The name of the variable to delete from the policy. The variable must not be referenced by any rules.
*)

}

Sourceval context_ : string

Sourceval make : name:AutomatedReasoningPolicyDefinitionVariableName.t -> unit -> t

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