{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"self.print_type(t);"}]}
                self.print_type(t);
                self.word_space(":");
                self.word(";");