virtual public void name_type(name_type ast, int indent) { Write("{0}", indent, ast.name); }
virtual public void name_type(name_type ast, int indent) { Indent(indent); visit(ast.name); }