sig
  type t = {
    tool : Sarif.Tool.t;
    invocations : Sarif.Invocation.t list;
    conversion : Sarif.Conversion.t;
    language : string;
    versionControlProvenance : Sarif.VersionControlDetails.t list;
    originalUriBaseIds : Sarif.ArtifactLocationDictionary.t;
    artifacts : Sarif.Artifact.t list;
    logicalLocations : Sarif.LogicalLocation.t list;
    graphs : Sarif.Graph.t list;
    results : Sarif.Sarif_result.t list;
    automationDetails : Sarif.RunAutomationDetails.t;
    runAggregates : Sarif.RunAutomationDetails.t list;
    baselineGuid : string;
    redactionToken : string list;
    defaultEncoding : string;
    defaultSourceLanguage : string;
    newlineSequences : string list;
    columnKind : Sarif.ColumnKind.t;
    externalPropertyFileReferences : Sarif.ExternalPropertyFileReferences.t;
    threadFlowLocations : Sarif.ThreadFlowLocation.t list;
    taxonomies : Sarif.ToolComponent.t list;
    addresses : Sarif.Address.t list;
    translations : Sarif.ToolComponent.t list;
    policies : Sarif.ToolComponent.t list;
    webRequests : Sarif.WebRequest.t list;
    webResponses : Sarif.WebResponse.t list;
    specialLocations : Sarif.SpecialLocations.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 ->
    ?language:string ->
    ?versionControlProvenance:Sarif.VersionControlDetails.t list ->
    ?originalUriBaseIds:Sarif.ArtifactLocationDictionary.t ->
    ?artifacts:Sarif.Artifact.t list ->
    ?logicalLocations:Sarif.LogicalLocation.t list ->
    ?graphs:Sarif.Graph.t list ->
    ?results:Sarif.Sarif_result.t list ->
    ?automationDetails:Sarif.RunAutomationDetails.t ->
    ?runAggregates:Sarif.RunAutomationDetails.t list ->
    ?baselineGuid:string ->
    ?redactionToken:string list ->
    ?defaultEncoding:string ->
    ?defaultSourceLanguage:string ->
    ?newlineSequences:string list ->
    ?columnKind:Sarif.ColumnKind.t ->
    ?externalPropertyFileReferences:Sarif.ExternalPropertyFileReferences.t ->
    ?threadFlowLocations:Sarif.ThreadFlowLocation.t list ->
    ?taxonomies:Sarif.ToolComponent.t list ->
    ?addresses:Sarif.Address.t list ->
    ?translations:Sarif.ToolComponent.t list ->
    ?policies:Sarif.ToolComponent.t list ->
    ?webRequests:Sarif.WebRequest.t list ->
    ?webResponses:Sarif.WebResponse.t list ->
    ?specialLocations:Sarif.SpecialLocations.t ->
    ?properties:Sarif.Properties.t -> unit -> Sarif.Run.t
end