module PhysicalLocation:sig
..end
type
t = {
|
id : |
|
artifactLocation : |
|
region : |
|
contextRegion : |
}
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t ->
t Ppx_deriving_yojson_runtime.error_or
include ??
val create : ?id:string ->
artifactLocation:Sarif.ArtifactLocation.t ->
?region:Sarif.Region.t ->
?contextRegion:Sarif.Region.t -> unit -> t
val default : t
val of_loc : Cil_datatype.Location.t -> t