Module Values.AutomatedReasoningPolicyAnnotatedLineSource

Represents a single line of text from a source document, annotated with its line number for precise referencing.

Sourcetype nonrec t = {
  1. lineNumber : Integer.t option;
    (*

    The line number of this text within the source document.

    *)
  2. lineText : AutomatedReasoningPolicyLineText.t option;
    (*

    The actual text content of this line from the source document.

    *)
}
Sourceval make : ?lineNumber:??? -> ?lineText:??? -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `Integer of Integer.t | `String of AutomatedReasoningPolicyLineText.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