library/typing,1004,`,"# Else, type of ``val`` is narrowed to ``float``."
library/typing,1004,`,# Type of ``val`` is narrowed to ``List[str]``.
library/typing,1004,`,# Type of ``val`` remains as ``List[object]``.
+library/tkinter,312,::,ttk::frame .frm -padding 10
+library/tkinter,312,::,"grid [ttk::label .frm.lbl -text ""Hello World!""] -column 0 -row 0"
+library/tkinter,312,::,"grid [ttk::button .frm.btn -text ""Quit"" -command ""destroy .""] -column 1 -row 0"
+library/tkinter,322,::,ttk::frame
+library/tkinter,420,::,ttk::button
+library/tkinter,428,::,ttk::widget
+library/typing,1011,`,# Type of ``val`` is narrowed to ``str``
+library/typing,1011,`,"# Else, type of ``val`` is narrowed to ``float``."
+library/typing,1011,`,# Type of ``val`` is narrowed to ``List[str]``.
+library/typing,1011,`,# Type of ``val`` remains as ``List[object]``.