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

Module `Values.AutomatedReasoningCheckTranslationOption`Source

Represents one possible logical interpretation of ambiguous input content.

Sourcetype nonrec t = {

translations : AutomatedReasoningCheckTranslationList.t option;
(*
Different logical interpretations that were detected during translation of the input.
*)

}

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

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