Module Load
val load_init_vernaculars : Coqargs.t -> state:Vernac.State.t -> Vernac.State.tload_init_vernaculars opts ~stateLoad vernaculars from the init (rc) file
Loadval load_init_vernaculars : Coqargs.t -> state:Vernac.State.t -> Vernac.State.tload_init_vernaculars opts ~state Load vernaculars from the init (rc) file