Module G_toplevel.Toplevel_

val vernac_toplevel : vernac_toplevel option Pcoq.Entry.t