sig
  type t = {
    ruleId : string;
    kind : Sarif.Result_kind.t;
    level : Sarif.Result_level.t;
    message : Sarif.Message.t;
    analysisTarget : Sarif.ArtifactLocation.t;
    locations : Sarif.Location.t list;
    instanceGuid : string;
    correlationGuid : string;
    occurrenceCount : int;
    partialFingerprints : Sarif.Additional_properties.t;
    fingerprints : Sarif.Additional_properties.t;
    stacks : Sarif.Stack.t list;
    codeFlows : Sarif.CodeFlow.t list;
    graphs : Sarif.Graph_dictionary.t;
    graphTraversals : Sarif.GraphTraversal.t list;
    relatedLocations : Sarif.Location.t list;
    suppressionStates : Sarif.Result_suppressionState.t list;
    baselineState : Sarif.Result_baselineState.t;
    attachments : Sarif.Attachment.t list;
    workItemsUris : string list;
    conversionProvenance : Sarif.PhysicalLocation.t list;
    fixes : Sarif.Fix.t list;
    properties : Sarif.Properties.t;
  }
  val to_yojson : Sarif.Sarif_result.t -> Yojson.Safe.t
  val of_yojson :
    Yojson.Safe.t ->
    Sarif.Sarif_result.t Ppx_deriving_yojson_runtime.error_or
  val _ :
    Yojson.Safe.t ->
    Sarif.Sarif_result.t Ppx_deriving_yojson_runtime.error_or
  val create :
    ruleId:string ->
    ?kind:Sarif.Result_kind.t ->
    ?level:Sarif.Result_level.t ->
    ?message:Sarif.Message.t ->
    ?analysisTarget:Sarif.ArtifactLocation.t ->
    ?locations:Sarif.Location.t list ->
    ?instanceGuid:string ->
    ?correlationGuid:string ->
    ?occurrenceCount:int ->
    ?partialFingerprints:Sarif.Additional_properties.t ->
    ?fingerprints:Sarif.Additional_properties.t ->
    ?stacks:Sarif.Stack.t list ->
    ?codeFlows:Sarif.CodeFlow.t list ->
    ?graphs:Sarif.Graph_dictionary.t ->
    ?graphTraversals:Sarif.GraphTraversal.t list ->
    ?relatedLocations:Sarif.Location.t list ->
    ?suppressionStates:Sarif.Result_suppressionState.t list ->
    ?baselineState:Sarif.Result_baselineState.t ->
    ?attachments:Sarif.Attachment.t list ->
    ?workItemsUris:string list ->
    ?conversionProvenance:Sarif.PhysicalLocation.t list ->
    ?fixes:Sarif.Fix.t list ->
    ?properties:Sarif.Properties.t -> unit -> Sarif.Sarif_result.t
end