let declare_variable_and_value name env value = let (env, uid) = declare_variable name env in set_constant_value env uid value; env