Module Values.AutomatedReasoningPolicyUpdateVariableAnnotationSource

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

Sourcetype nonrec t = {
  1. name : AutomatedReasoningPolicyDefinitionVariableName.t;
    (*

    The current name of the variable to update.

    *)
  2. newName : AutomatedReasoningPolicyDefinitionVariableName.t option;
    (*

    The new name for the variable, if you want to rename it. If not provided, the name remains unchanged.

    *)
  3. description : AutomatedReasoningPolicyDefinitionVariableDescription.t option;
    (*

    The new description for the variable, replacing the previous description.

    *)
}
Sourceval context_ : string
Sourceval make : ?newName:??? -> ?description:??? -> name:AutomatedReasoningPolicyDefinitionVariableName.t -> unit -> t
Sourceval 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