public type_node visit(type_definition type_def)
 {
     type_def.visit(syntax_tree_visitor);
     return(ret_semantic as type_node);
 }