Document ast::Ty_