Module `Vernacoptions`

val vernac_set_append_option : locality:Goptions.option_locality -> stage:Summary.Stage.t -> Goptions.option_name -> string -> unit
val vernac_set_option : locality:Goptions.option_locality -> stage:Summary.Stage.t -> Goptions.option_name -> Vernacexpr.option_setting -> unit
val vernac_add_option : Goptions.option_name -> Goptions.table_value list -> unit
val vernac_remove_option : Goptions.option_name -> Goptions.table_value list -> unit
val vernac_mem_option : Goptions.option_name -> Goptions.table_value list -> unit
val vernac_print_option : Goptions.option_name -> unit