Module Values.AutomatedReasoningPolicyDefinitionSource

Contains the formal logic rules, variables, and custom variable types that define an Automated Reasoning policy. The policy definition specifies the constraints used to validate foundation model responses for accuracy and logical consistency.

Sourcetype nonrec t = {
  1. version : AutomatedReasoningPolicyFormatVersion.t option;
    (*

    The version of the policy definition format.

    *)
  2. types : AutomatedReasoningPolicyDefinitionTypeList.t option;
    (*

    The custom user-defined vairable types used in the policy. Types are enum-based variable types that provide additional context beyond the predefined variable types.

    *)
  3. rules : AutomatedReasoningPolicyDefinitionRuleList.t option;
    (*

    The formal logic rules extracted from the source document. Rules define the logical constraints that determine whether model responses are valid, invalid, or satisfiable.

    *)
  4. variables : AutomatedReasoningPolicyDefinitionVariableList.t option;
    (*

    The variables that represent concepts in the policy. Variables can have values assigned when translating natural language into formal logic. Their descriptions are crucial for accurate translation.

    *)
}
Sourceval make : ?version:??? -> ?types:??? -> ?rules:??? -> ?variables:??? -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `List of [> `Structure of (string * [> `List of [> `Structure of (string * [> `String of AutomatedReasoningPolicyDefinitionTypeValueName.t ]) list ] list | `String of AutomatedReasoningPolicyDefinitionTypeName.t ]) list ] list | `String of AutomatedReasoningPolicyFormatVersion.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