Redirecting to fn.check_legality_of_bindings_in_at_patterns.html...