Option (Lean.Widget.TaggedText Lean.Server.Test.Runner.Client.SubexprInfo) →
  Option (Lean.Widget.TaggedText Lean.Server.Test.Runner.Client.SubexprInfo) →
    Option String → Lean.Server.Test.Runner.Client.InfoPopup