can't set ".topwin1.definition.b.tf.rto(structuredtext)": bad window path name "Error: operator and operand don't agree (tycon mismatch)
  operator domain: {initial_kind:kind,
                    ppfun:(thm,HolBranches.branch) HolPPToStrings.ppfun}
  operand:         {initial_kind:string,
                    ppfun:{depth:int, outer_prec:PrettySupport.precedence}
                          -> {context:string, first_assum_on_top:bool,
                              goal_line:string, number_hyp:bool,
                              show_assums:bool, show_restrictions:bool,
                              show_types:bool, wrap_terms:bool}
                             -> thm * HolBranches.branch label
                                -> HolBranches.branch label 
                                     HolPP.PP.LabelPPBoxes.ppbox}
  in expression:
    val_to_strings string_of_branch {initial_kind="THM",ppfun=pp_thm}
"
    while executing
".topwin1.definition.b.tf.rto.box.buttonbar.b1 invoke"
    ("uplevel" body line 1)
    invoked from within
"uplevel #0 [list $w invoke]"
    invoked from within
"if {[$w cget -state] != "disabled"} {
	uplevel #0 [list $w invoke]
    }"
    (procedure "tkCheckRadioInvoke" line 2)
    invoked from within
"tkCheckRadioInvoke .topwin1.definition.b.tf.rto.box.buttonbar.b1"
    (command bound to event)
