Index of values


C
compute [Register]

D
dump [Register]

F
file_of [Register]
fun_equal [Register]

G
get_option [State_builder.Option_ref]
gui [Register_gui]

I
image_int8 [Register]
is_on [Metrics_parameters]
Have metrics to be computed?

M
main [Register]
make_bi_label [Register_gui]
make_hbox [Register_gui]
make_panel [Register_gui]
map [State_builder.Option_ref]
may [State_builder.Option_ref]
memo [State_builder.Option_ref]
Memoization.

N
name [Register]
null_location [Register]
null_position [Register]
number_entry_points [Register]

P
plus [Register]
pretty [Register]
pretty_entry_points [Register]
pretty_set [Register]