Redirecting to ../../alloy_sol_macro_input/struct.SolAttrs.html...