seer/src/lib.rs