sig
  type t = {
    tool : Sarif.Tool.t;
    invocations : Sarif.Invocation.t list;
    conversion : Sarif.Conversion.t;
    versionControlProvenance : Sarif.VersionControlDetails.t list;
    originalUriBaseIds : Sarif.Additional_properties.t;
    files : Sarif.File_dictionary.t;
    logicalLocations : Sarif.LogicalLocation_dictionary.t;
    graphs : Sarif.Graph_dictionary.t;
    results : Sarif.Sarif_result.t list;
    resources : Sarif.Resources.t;
    instanceGuid : string;
    correlationGuid : string;
    logicalId : string;
    description : Sarif.Message.t;
    automationLogicalId : string;
    baselineInstanceGuid : string;
    architecture : string;
    richMessageMimeType : string;
    redactionToken : string;
    defaultFileEncoding : string;
    columnKind : Sarif.ColumnKind.t;
    properties : Sarif.Properties.t;
  }
  val to_yojson : Sarif.Run.t -> Yojson.Safe.t
  val of_yojson :
    Yojson.Safe.t -> Sarif.Run.t Ppx_deriving_yojson_runtime.error_or
  val _ : Yojson.Safe.t -> Sarif.Run.t Ppx_deriving_yojson_runtime.error_or
  val create :
    tool:Sarif.Tool.t ->
    invocations:Sarif.Invocation.t list ->
    ?conversion:Sarif.Conversion.t ->
    ?versionControlProvenance:Sarif.VersionControlDetails.t list ->
    ?originalUriBaseIds:Sarif.Additional_properties.t ->
    ?files:Sarif.File_dictionary.t ->
    ?logicalLocations:Sarif.LogicalLocation_dictionary.t ->
    ?graphs:Sarif.Graph_dictionary.t ->
    ?results:Sarif.Sarif_result.t list ->
    ?resources:Sarif.Resources.t ->
    ?instanceGuid:string ->
    ?correlationGuid:string ->
    ?logicalId:string ->
    ?description:Sarif.Message.t ->
    ?automationLogicalId:string ->
    ?baselineInstanceGuid:string ->
    ?architecture:string ->
    ?richMessageMimeType:string ->
    ?redactionToken:string ->
    ?defaultFileEncoding:string ->
    ?columnKind:Sarif.ColumnKind.t ->
    ?properties:Sarif.Properties.t -> unit -> Sarif.Run.t
end