Redirecting to ../../../alloy_sol_types/sol_data/struct.Uint.html...