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