Module Values.AutomatedReasoningPolicyDefinitionVariableSource

Represents a variable in an Automated Reasoning policy. Variables represent concepts that can have values assigned during natural language translation.

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

    The name of the variable. Use descriptive names that clearly indicate the concept being represented.

    *)
  2. type_ : AutomatedReasoningPolicyDefinitionTypeName.t;
    (*

    The data type of the variable. Valid types include bool, int, real, enum, and custom types that you can provide.

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

    The description of the variable that explains what it represents and how users might refer to it. Clear and comprehensive descriptions are essential for accurate natural language translation.

    *)
}
Sourceval context_ : string
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