let resolve_variable_value name env = let loc = resolve_variable name env in let uid = uid_from_loc loc in ( get_constant_value env uid, loc)