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

Module `Values.AutomatedReasoningCheckScenario`Source

Represents a logical scenario where claims can be evaluated as true or false, containing specific logical assignments.

Sourcetype nonrec t = {

statements : AutomatedReasoningLogicStatementList.t option;
(*
List of logical assignments and statements that define this scenario.
*)

}

Sourceval make : ?statements:??? -> unit -> t

val to_value : 
  t ->
  [> `Structure of
       (string
        * [> `List of
               [> `Structure of
                    (string
                     * [> `String of AutomatedReasoningLogicStatementContent.t ])
                      list ]
                 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