Module Sarif.ThreadFlowLocation

module ThreadFlowLocation: sig .. end

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 : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t ->
t Ppx_deriving_yojson_runtime.error_or
include ??