1mod derive_synthetic; 2mod proof; 3mod puzzles; 4 5pub use derive_synthetic::*; 6pub use proof::*; 7pub use puzzles::*;