This crate is part of the [eiffel](https://crates.io/crates/eiffel) crate.