Up – Package index » awso » Library awso.bedrock » Awso_bedrock » Values » AutomatedReasoningPolicyAddRuleAnnotation

Module `Values.AutomatedReasoningPolicyAddRuleAnnotation`Source

An annotation for adding a new rule to an Automated Reasoning policy using a formal logical expression.

Sourcetype nonrec t = {

expression : AutomatedReasoningPolicyDefinitionRuleExpression.t;
(*
The formal logical expression that defines the rule, using mathematical notation and referencing policy variables and types.
*)

}

Sourceval context_ : string

val make : 
  expression:AutomatedReasoningPolicyDefinitionRuleExpression.t ->
  unit ->
  t

Source

val to_value : 
  t ->
  [> `Structure of
       (string
        * [> `String of AutomatedReasoningPolicyDefinitionRuleExpression.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