pub async fn solver_explore_toggle( __arg0: State<AppState>, session: Session<SessionNullPool>, ) -> Result<Html<String>, AppError>