sig
  type t = {
    edgeId : string;
    message : Sarif.Message.t;
    finalState : Sarif.Additional_properties.t;
    stepOverEdgeCount : int;
    properties : Sarif.Properties.t;
  }
  val to_yojson : Sarif.Edge_traversal.t -> Yojson.Safe.t
  val of_yojson :
    Yojson.Safe.t ->
    Sarif.Edge_traversal.t Ppx_deriving_yojson_runtime.error_or
end