package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `Load`Source

Sourceval load_init_vernaculars : Coqargs.t -> state:Vernac.State.t -> Vernac.State.t

load_init_vernaculars opts ~state Load vernaculars from the init (rc) file