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