//! Execution for `by …` statements (one file per form).
mod by_fn_and_by_fn_set;
mod cases_by_stmt;
mod closed_range_by_stmt;
mod contra_by_stmt;
mod enumerate_by_stmt;
mod extension_by_stmt;
mod family_by_stmt;
mod finite_seq_by_stmt;
mod for_by_stmt;
mod helpers_by_stmt;
mod induc_by_stmt;
mod kuratowski_by_stmt;
mod matrix_by_stmt;
mod seq_by_stmt;
mod tuple_by_stmt;