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