Extending the doc with a general summary of auto variants.

This way of giving the summary avoids redundancy as much as possible.
It is helpful for the auto-completion of Company-Coq of @cpitclaudel.

0 files changed, 0 insertions, 0 deletions