{motive : Lean.Lsp.InitializationOptions → Sort u} →
  ((hasWidgets? : Option Bool) →
      (logCfg? : Option Lean.Lsp.LogConfig) → motive { hasWidgets? := hasWidgets?, logCfg? := logCfg? }) →
    (t : Lean.Lsp.InitializationOptions) → motive t