{motive : Lean.Widget.HighlightedSubexprInfo → Sort u} →
  (t : Lean.Widget.HighlightedSubexprInfo) →
    ((info : Lean.Widget.SubexprInfo) → motive (Lean.Widget.HighlightedSubexprInfo.subexpr info)) →
      motive Lean.Widget.HighlightedSubexprInfo.highlighted → motive t