sig
  type t = {
    physicalLocation : Sarif.PhysicalLocation.t;
    fullyQualifiedLogicalName : string;
    message : Sarif.Message.t;
    annotations : Sarif.Region.t list;
    properties : Sarif.Properties.t;
  }
  val to_yojson : Sarif.Location.t -> Yojson.Safe.t
  val of_yojson :
    Yojson.Safe.t -> Sarif.Location.t Ppx_deriving_yojson_runtime.error_or
  val create :
    physicalLocation:Sarif.PhysicalLocation.t ->
    ?fullyQualifiedLogicalName:string ->
    ?message:Sarif.Message.t ->
    ?annotations:Sarif.Region.t list ->
    ?properties:Sarif.Properties.t -> unit -> Sarif.Location.t
  val default : Sarif.Location.t
  val of_loc : Cil_datatype.Location.t -> Sarif.Location.t
end