Module Coqrc

val load_rcfile : rcfile:string option -> state:Vernac.State.t -> Vernac.State.t