package goblint
Module SarifType.Run
type t = {tool : Tool.t;defaultSourceLanguage : string;invocations : Invocation.t list;artifacts : Artifact.t list;results : Result.t list;
}val to_yojson : t -> Yojson.Safe.tval _ : t -> Yojson.Safe.t