Module Values.AutomatedReasoningPolicyDefinitionElementSource

Represents a single element in an Automated Reasoning policy definition, such as a rule, variable, or type definition.

Sourcetype nonrec t = {
  1. policyDefinitionVariable : AutomatedReasoningPolicyDefinitionVariable.t option;
    (*

    A variable element within the policy definition that represents a concept used in logical expressions and rules.

    *)
  2. policyDefinitionType : AutomatedReasoningPolicyDefinitionType.t option;
    (*

    A custom type element within the policy definition that defines a set of possible values for variables.

    *)
  3. policyDefinitionRule : AutomatedReasoningPolicyDefinitionRule.t option;
    (*

    A rule element within the policy definition that contains a formal logical expression used for validation.

    *)
}
Sourceval make : ?policyDefinitionVariable:??? -> ?policyDefinitionType:??? -> ?policyDefinitionRule:??? -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `Structure of (string * [> `List of [> `Structure of (string * [> `String of AutomatedReasoningPolicyDefinitionTypeValueName.t ]) list ] list | `String of AutomatedReasoningPolicyDefinitionVariableName.t ]) list ]) 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