Module Launch_command.Arguments
type t
=
{
no_debug : bool option;
If noDebug is true the launch request should launch the program without enabling debugging.
__restart : Any.t option;
Optional data from the previous, restarted session. The data is sent as the 'restart' attribute of the 'terminated' event. The client should leave the data intact.
}
Arguments for 'launch' request. Additional attributes are implementation specific.