Sarif.PhysicalLocationtype t = {id : string;artifactLocation : ArtifactLocation.t;region : Region.t;contextRegion : Region.t;}val to_yojson : t -> Yojson.Safe.tval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_orval create :
?id:string ->
artifactLocation:ArtifactLocation.t ->
?region:Region.t ->
?contextRegion:Region.t ->
unit ->
tval default : tval of_loc : Frama_c_kernel.Cil_datatype.Location.t -> t