You can search for identifiers within the package.
in-package search v0.2.0
dap.types
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