Sarif.ArtifactLocation
type t = {
uri : string;
uriBaseId : string;
}
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val create : uri:string -> ?base:Frama_c_kernel.Hpath.base -> unit -> t
val of_loc : Frama_c_kernel.Cil_datatype.Location.t -> t
val default : t