sig
  type t = {
    step : int;
    location : Sarif.Location.t;
    stack : Sarif.Stack.t;
    kind : string;
    tfl_module : string;
    state : Sarif.Additional_properties.t;
    nestingLevel : int;
    executionOrder : int;
    timestamp : string;
    importance : Sarif.Stl_importance.t;
    properties : Sarif.Properties.t;
  }
  val to_yojson : Sarif.ThreadFlowLocation.t -> Yojson.Safe.t
  val of_yojson :
    Yojson.Safe.t ->
    Sarif.ThreadFlowLocation.t Ppx_deriving_yojson_runtime.error_or
  val _ :
    Yojson.Safe.t ->
    Sarif.ThreadFlowLocation.t Ppx_deriving_yojson_runtime.error_or
end