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