Module Source_command.Arguments
type t
=
{
source : Source.t option;
Specifies the source content to load. Either source.path or source.sourceReference must be specified.
source_reference : int;
The reference to the source. This is the same as source.sourceReference. This is provided for backward compatibility since old backends do not understand the 'source' attribute.
}
Arguments for 'source' request.