Module `Debug_protocol.Terminate_command`

The 'terminate' request is sent from the client to the debug adapter in order to give the debuggee a chance for terminating itself. Clients should only call this request if the capability 'supportsTerminateRequest' is true.

val type_ : string

module Arguments : sig ... end

module Result : sig ... end