Library Coqdoc.bug5700
foo (* bar *)
Definition
const1
:= 1.
more (* nested (* comments *) within verbatim *)
Definition
const2
:= 2.