Here is a list of all namespace functions with links to the namespace documentation for each function:

- c -

• converse_comparison() : lala
• create_and_interpret_and_tell() : lala

- d -

• de_morgan_law() : lala
• dual() : lala

- e -

• eval() : lala
• extract_ty() : lala

- f -

• fjoin() : lala
• fmeet() : lala

- g -

• geq_of_constant() : lala
• ginterpret_in() : lala
• ginterpret_true() : lala

- i -

• interpret_and_tell() : lala
• is_arithmetic_comparison() : lala
• is_associative() : lala
• is_comparison() : lala
• is_division() : lala
• is_modulo() : lala
• is_prefix() : lala
• is_set_comparison() : lala
• is_v_op_constant() : lala
• is_v_op_z() : lala
• is_var_equality() : lala

- l -

• leq_of_constant() : lala

- m -

• make_top() : lala
• make_v_op_z() : lala
• map_avar_to_lvar() : lala
• meet() : lala

- n -

• negate() : lala
• negate_arithmetic_comparison() : lala
• negate_eq() : lala
• num_quantified_vars() : lala
• num_vars() : lala

- o -

• operator<() : lala
• operator<<() : lala
• operator==() : lala
• operator>() : lala

- p -

• print() : battery
• project() : lala
• project_fun() : lala

- s -

• string_of_sig() : lala

- t -

• top_level_ginterpret_in() : lala
• type_of_conjunction() : lala

- v -

• var_in() : lala