Module `Debug_protocol.Terminate_threads_command`

The request terminates the threads with the given ids. Clients should only call this request if the capability 'supportsTerminateThreadsRequest' is true.

val type_ : string

module Arguments : sig ... end

module Result : sig ... end