Evaluated proc +dox {who type val} { if { [aa dox $who] = "" } { aa dox $who [list] } { aaa dox $who $type $val } }