Module Wp_parameters.CoqTactic

module CoqTactic: Parameter_sig.String

include Parameter_sig.S

val set_possible_values : string list -> unit

Set what are the acceptable values for this parameter. If the given list is empty, then all values are acceptable.
Since Beryllium-20090901

val get_possible_values : unit -> string list

What are the acceptable values for this parameter. If the returned list is empty, then all values are acceptable.
Since Beryllium-20090901

val get_function_name : unit -> string

returns the given argument only if it is a valid function name (see Parameter_customize.get_c_ified_functions for more information), and abort otherwise.

Requires that the AST has been computed. Default getter when Parameter_customize.argument_is_function_name has been called.
Since Sodium-20150201

val get_plain_string : unit -> string

always return the argument, even if the argument is not a function name.
Since Sodium-20150201