Module Values.AutomatedReasoningPolicyAtomicStatementSource

Represents a single, indivisible statement extracted from a source document. Atomic statements are the fundamental units used to ground policy rules and variables to their source material.

Sourcetype nonrec t = {
  1. id : AutomatedReasoningPolicyStatementId.t option;
    (*

    A unique identifier for this atomic statement within the fidelity report.

    *)
  2. text : AutomatedReasoningPolicyStatementText.t option;
    (*

    The actual text content of the atomic statement as extracted from the source document.

    *)
  3. location : AutomatedReasoningPolicyStatementLocation.t option;
    (*

    Information about where this statement appears in the source document, including line numbers.

    *)
}
Sourceval make : ?id:??? -> ?text:??? -> ?location:??? -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `String of AutomatedReasoningPolicyStatementId.t | `Structure of (string * [> `List of [> `Integer of Integer.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