Split lib.rs into multiple files #811
Description
lib.rs is getting pretty big, it would be nice if public egraph helpers lived there and private ones lived in several other files
{{ message }}
lib.rs is getting pretty big, it would be nice if public egraph helpers lived there and private ones lived in several other files