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

Module `Values.AutomatedReasoningPolicyDisjointRuleSet`Source

Represents a set of rules that operate on completely separate variables, indicating they address different concerns or domains within the policy.

Sourcetype nonrec t = {

variables : AutomatedReasoningPolicyDefinitionVariableNameList.t option;
(*
The set of variables that are used by the rules in this disjoint set.
*)
rules : AutomatedReasoningPolicyDisjointedRuleIdList.t option;
(*
The list of rules that form this disjoint set, all operating on the same set of variables.
*)

}

Sourceval make : ?variables:??? -> ?rules:??? -> unit -> t

Source

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