3 ms·

Looks like these fall into the "structured comments" category, based on seeing /** */ and /// in a repository I found. Does it also have a story for doc tests?

• WalterBright 4y ago
  Yes, tests in those comments are actually pulled out and run.