Function userOptions

userOptions(options: OptionList, ...defs: OptionList[]): OptionList
Merge options with warnings about undefined ones (so we can merge user options into the default list)
Parameters
- options: OptionList
  The option list to be merged into
- ...defs: OptionList[]
  The option lists to merge into the first one
Returns OptionList
The modified options list
- Defined in ts/util/Options.ts:302