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

Module `Values.AutomatedReasoningLogicStatement`Source

Represents a logical statement that can be expressed both in formal logic notation and natural language, providing dual representations for better understanding and validation.

Sourcetype nonrec t = {

logic : AutomatedReasoningLogicStatementContent.t option;
(*
The formal logic representation of the statement using mathematical notation and logical operators.
*)
naturalLanguage : AutomatedReasoningNaturalLanguageStatementContent.t option;
(*
The natural language representation of the logical statement, providing a human-readable interpretation of the formal logic.
*)

}

Sourceval make : ?logic:??? -> ?naturalLanguage:??? -> unit -> t

Source

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