Module Parameter_sig.Specific_dir.Dir_name

module Dir_name: Parameter_sig.String 

Option -<short-name>-<specific-dir>.


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.

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.

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.

val get_plain_string : unit -> string

always return the argument, even if the argument is not a function name.