Frama-C API - `ArtifactLocation`

type t = {

uri : string;
uriBaseId : string;

}

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val create : uri:string -> ?uriBaseId:string -> unit -> t

val of_loc : Frama_c_kernel.Cil_datatype.Location.t -> t

val default : t