Index of values


C
compute [Api]
Propagate constant into the functions given by the parameters (in the same way that Api.get.
compute [Constant_Propagation.Api]
Propagate constant into the functions given by the parameters (in the same way that Constant_Propagation.Api.get.

E
exists [Parameter_sig.Set]
Is there some element satisfying the given predicate?

G
get [Api]
Propagate constant into the functions given by name.
get [Constant_Propagation.Api]
Propagate constant into the functions given by name.
get_function_name [Parameter_sig.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.
get_plain_string [Parameter_sig.String]
always return the argument, even if the argument is not a function name.
get_possible_values [Parameter_sig.String]
What are the acceptable values for this parameter.

M
mem [Parameter_sig.Set]
Does the given element belong to the set?

O
off [Parameter_sig.Bool]
Set the boolean to false.
on [Parameter_sig.Bool]
Set the boolean to true.

S
self [Api]
Internal state of the constant propagation plugin.
self [Constant_Propagation.Api]
Internal state of the constant propagation plugin.
set_possible_values [Parameter_sig.String]
Set what are the acceptable values for this parameter.