Module Mdr_params.Title

module Title: Parameter_sig.String 

Value of -mdr-title.


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.