Module Sarif.Region

module Region: sig .. end

type t = {
   startLine : int;
   startColumn : int;
   endLine : int;
   endColumn : int;
   charOffset : int;
   charLength : int;
   byteOffset : int;
   byteLength : int;
   snippet : Sarif.ArtifactContent.t;
   message : Sarif.Message.t;
}
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
include ??
val create : ?startLine:int ->
?startColumn:int ->
?endLine:int ->
?endColumn:int ->
?charOffset:int ->
?charLength:int ->
?byteOffset:int ->
?byteLength:int ->
?snippet:Sarif.ArtifactContent.t ->
?message:Sarif.Message.t -> unit -> t
val default : t
val of_loc : Cil_datatype.Location.t -> t