IF NOT EXISTS (ef_val) THEN  RETURN  (?);  END_IF;
  CASE ef_val OF
  ef_and : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_or : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_not : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_xor : RETURN  (make_uniform_product_space (the_logicals, 2));
  ef_negate_i : RETURN  (make_uniform_product_space (the_integers, 1));
  ef_add_i : RETURN  (make_uniform_product_space (the_integers, 1));
  ef_subtract_i : RETURN  (make_uniform_product_space (the_integers, 1));
  ef_multiply_i : RETURN  (make_uniform_product_space (the_integers, 1));
  ef_divide_i : RETURN  (make_uniform_product_space (the_integers, 1));
  ef_mod_i : RETURN  (make_uniform_product_space (the_integers, 1));
  ef_exponentiate_i : RETURN  (make_uniform_product_space (the_integers, 1));
  ef_eq_i : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_ne_i : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_gt_i : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_lt_i : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_ge_i : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_le_i : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_abs_i : RETURN  (make_uniform_product_space (the_integers, 1));
  ef_if_i : RETURN  (make_uniform_product_space (the_integers, 1));
  ef_negate_r : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_reciprocal_r : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_add_r : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_subtract_r : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_multiply_r : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_divide_r : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_mod_r : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_exponentiate_r : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_exponentiate_ri : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_eq_r : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_ne_r : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_gt_r : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_lt_r : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_ge_r : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_le_r : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_abs_r : RETURN  (make_uniform_product_space (the_nonnegative_reals, 1));
  ef_acos_r : RETURN  (make_uniform_product_space (the_zero_pi_interval, 1));
  ef_asin_r : RETURN  (make_uniform_product_space (the_neghalfpi_halfpi_interval, 1));
  ef_atan2_r : RETURN  (make_uniform_product_space (the_negpi_pi_interval, 1));
  ef_cos_r : RETURN  (make_uniform_product_space (the_neg1_one_interval, 1));
  ef_exp_r : RETURN  (make_uniform_product_space (the_nonnegative_reals, 1));
  ef_ln_r : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_log2_r : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_log10_r : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_sin_r : RETURN  (make_uniform_product_space (the_neg1_one_interval, 1));
  ef_sqrt_r : RETURN  (make_uniform_product_space (the_nonnegative_reals, 1));
  ef_tan_r : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_if_r : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_negate_c : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_reciprocal_c : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_add_c : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_subtract_c : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_multiply_c : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_divide_c : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_exponentiate_c : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_exponentiate_ci : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_eq_c : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_ne_c : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_conjugate_c : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_abs_c : RETURN  (make_uniform_product_space (the_nonnegative_reals, 1));
  ef_arg_c : RETURN  (make_uniform_product_space (the_negpi_pi_interval, 1));
  ef_cos_c : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_exp_c : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_ln_c : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_sin_c : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_sqrt_c : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_tan_c : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_if_c : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_subscript_s : RETURN  (make_uniform_product_space (the_strings, 1));
  ef_eq_s : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_ne_s : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_gt_s : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_lt_s : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_ge_s : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_le_s : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_subsequence_s : RETURN  (make_uniform_product_space (the_strings, 1));
  ef_concat_s : RETURN  (make_uniform_product_space (the_strings, 1));
  ef_size_s : RETURN  (make_uniform_product_space (the_integers, 1));
  ef_format : RETURN  (make_uniform_product_space (the_strings, 1));
  ef_value : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_like : RETURN  (make_uniform_product_space (the_booleans, 1));
  ef_if_s : RETURN  (make_uniform_product_space (the_strings, 1));
  ef_subscript_b : RETURN  (make_uniform_product_space (the_binarys, 1));
  ef_eq_b : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_ne_b : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_gt_b : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_lt_b : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_ge_b : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_le_b : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_subsequence_b : RETURN  (make_uniform_product_space (the_binarys, 1));
  ef_concat_b : RETURN  (make_uniform_product_space (the_binarys, 1));
  ef_size_b : RETURN  (make_uniform_product_space (the_integers, 1));
  ef_if_b : RETURN  (make_uniform_product_space (the_binarys, 1));
  ef_subscript_t : RETURN  (make_uniform_product_space (the_generics, 1));
  ef_eq_t : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_ne_t : RETURN  (make_uniform_product_space (the_logicals, 1));
  ef_concat_t : RETURN  (make_uniform_product_space (the_tuples, 1));
  ef_size_t : RETURN  (make_uniform_product_space (the_integers, 1));
  ef_entuple : RETURN  (make_uniform_product_space (the_tuples, 1));
  ef_detuple : RETURN  (the_tuples);
  ef_insert : RETURN  (make_uniform_product_space (the_tuples, 1));
  ef_remove : RETURN  (make_uniform_product_space (the_tuples, 1));
  ef_if_t : RETURN  (make_uniform_product_space (the_tuples, 1));
  ef_sum_it : RETURN  (make_uniform_product_space (the_integers, 1));
  ef_product_it : RETURN  (make_uniform_product_space (the_integers, 1));
  ef_add_it : RETURN  (make_uniform_product_space (the_integer_tuples, 1));
  ef_subtract_it : RETURN  (make_uniform_product_space (the_integer_tuples, 1));
  ef_scalar_mult_it : RETURN  (make_uniform_product_space (the_integer_tuples, 1));
  ef_dot_prod_it : RETURN  (make_uniform_product_space (the_integers, 1));
  ef_sum_rt : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_product_rt : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_add_rt : RETURN  (make_uniform_product_space (the_real_tuples, 1));
  ef_subtract_rt : RETURN  (make_uniform_product_space (the_real_tuples, 1));
  ef_scalar_mult_rt : RETURN  (make_uniform_product_space (the_real_tuples, 1));
  ef_dot_prod_rt : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_norm_rt : RETURN  (make_uniform_product_space (the_reals, 1));
  ef_sum_ct : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_product_ct : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_add_ct : RETURN  (make_uniform_product_space (the_complex_tuples, 1));
  ef_subtract_ct : RETURN  (make_uniform_product_space (the_complex_tuples, 1));
  ef_scalar_mult_ct : RETURN  (make_uniform_product_space (the_complex_tuples, 1));
  ef_dot_prod_ct : RETURN  (make_uniform_product_space (the_complex_numbers, 1));
  ef_norm_ct : RETURN  (make_uniform_product_space (the_nonnegative_reals, 1));
  ef_if : RETURN  (make_uniform_product_space (the_generics, 1));
  ef_ensemble : RETURN  (make_uniform_product_space (the_maths_spaces, 1));
  ef_member_of : RETURN  (make_uniform_product_space (the_logicals, 1));
  OTHERWISE : RETURN (?);
  END_CASE;