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