type dap_step =
| Step_over
| Step_in
| Step_out
| Step_back
| Continue
| Continue_back
val dap_step_to_yojson : dap_step -> Yojson.Safe.t
val dap_step_of_yojson :
Yojson.Safe.t ->
dap_step Ppx_deriving_yojson_runtime.error_or
type interaction =
| Dap_step of {
kind : dap_step;
breakpoint : bool;
}
| Step_specific of {
has_case : bool;
}
| Jump of {
is_match : bool;
}
val interaction_to_yojson : interaction -> Yojson.Safe.t
val interaction_of_yojson :
Yojson.Safe.t ->
interaction Ppx_deriving_yojson_runtime.error_or
type session_start = {
filename : string;
proc : string;
diff : string option;
}
val session_start_of_yojson :
Yojson.Safe.t ->
session_start Ppx_deriving_yojson_runtime.error_or
val content_to_yojson : content -> Yojson.Safe.t
val content_of_yojson :
Yojson.Safe.t ->
content Ppx_deriving_yojson_runtime.error_or
type t = {
session : string;
content : content;
}
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val make : session:string -> content -> t