548     llvm::raw_string_ostream hoverOS(hover.contents.value);  in buildHoverForOpName()  local
549     hoverOS << "**OpName**: `" << op->getName() << "`\n***\n"  in buildHoverForOpName()
560     llvm::raw_string_ostream hoverOS(hover.contents.value);  in buildHoverForVariable()  local
561     hoverOS << "**Variable**: `" << varDecl->getName().getName() << "`\n***\n"  in buildHoverForVariable()
571     llvm::raw_string_ostream hoverOS(hover.contents.value);  in buildHoverForPattern()  local
572     hoverOS << "**Pattern**";  in buildHoverForPattern()
574       hoverOS << ": `" << name->getName() << "`";  in buildHoverForPattern()
575     hoverOS << "\n***\n";  in buildHoverForPattern()
577       hoverOS << "Benefit: " << *benefit << "\n";  in buildHoverForPattern()
579       hoverOS << "HasBoundedRewriteRecursion\n";  in buildHoverForPattern()
580     hoverOS << "RootOp: `"  in buildHoverForPattern()
585       hoverOS << "\n" << *doc << "\n";  in buildHoverForPattern()
595     llvm::raw_string_ostream hoverOS(hover.contents.value);  in buildHoverForCoreConstraint()  local
596     hoverOS << "**Constraint**: `";  in buildHoverForCoreConstraint()
598         .Case([&](const ast::AttrConstraintDecl *) { hoverOS << "Attr"; })  in buildHoverForCoreConstraint()
600           hoverOS << "Op";  in buildHoverForCoreConstraint()
602             hoverOS << "<" << name << ">";  in buildHoverForCoreConstraint()
604         .Case([&](const ast::TypeConstraintDecl *) { hoverOS << "Type"; })  in buildHoverForCoreConstraint()
606           hoverOS << "TypeRange";  in buildHoverForCoreConstraint()
608         .Case([&](const ast::ValueConstraintDecl *) { hoverOS << "Value"; })  in buildHoverForCoreConstraint()
610           hoverOS << "ValueRange";  in buildHoverForCoreConstraint()
612     hoverOS << "`\n";  in buildHoverForCoreConstraint()
622     llvm::raw_string_ostream hoverOS(hover.contents.value);  in buildHoverForUserConstraintOrRewrite()  local
623     hoverOS << "**" << typeName << "**: `" << decl->getName().getName()  in buildHoverForUserConstraintOrRewrite()
627       hoverOS << "Parameters:\n";  in buildHoverForUserConstraintOrRewrite()
629         hoverOS << "* " << input->getName().getName() << ": `"  in buildHoverForUserConstraintOrRewrite()
631       hoverOS << "***\n";  in buildHoverForUserConstraintOrRewrite()
636         hoverOS << "Results:\n";  in buildHoverForUserConstraintOrRewrite()
640           hoverOS << "* " << (name.empty() ? "" : (name + ": ")) << "`"  in buildHoverForUserConstraintOrRewrite()
643         hoverOS << "***\n";  in buildHoverForUserConstraintOrRewrite()
646       hoverOS << "Results:\n* `" << resultType << "`\n";  in buildHoverForUserConstraintOrRewrite()
647       hoverOS << "***\n";  in buildHoverForUserConstraintOrRewrite()
652       hoverOS << "\n" << *doc << "\n";  in buildHoverForUserConstraintOrRewrite()