Module Values.AutomatedReasoningPolicyDefinitionRuleSource

Represents a formal logic rule in an Automated Reasoning policy. For example, rules can be expressed as if-then statements that define logical constraints.

Sourcetype nonrec t = {
  1. id : AutomatedReasoningPolicyDefinitionRuleId.t;
    (*

    The unique identifier of the rule within the policy.

    *)
  2. expression : AutomatedReasoningPolicyDefinitionRuleExpression.t;
    (*

    The formal logic expression of the rule.

    *)
  3. alternateExpression : AutomatedReasoningPolicyDefinitionRuleAlternateExpression.t option;
    (*

    The human-readable form of the rule expression, often in natural language or simplified notation.

    *)
}
Sourceval context_ : string
Sourceval make : ?alternateExpression:??? -> id:AutomatedReasoningPolicyDefinitionRuleId.t -> expression:AutomatedReasoningPolicyDefinitionRuleExpression.t -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `String of AutomatedReasoningPolicyDefinitionRuleId.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