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