coqdoc comment