Module Debug_protocol.Goto_targets_command
This request retrieves the possible goto targets for the specified source location. These targets can be used in the 'goto' request. Clients should only call this request if the capability 'supportsGotoTargetsRequest' is true.
module Arguments : sig ... end
module Result : sig ... end