limousine_engine can reason about a large design continuum of hybrid key-value store designs and materialize an optimal implementation using procedural macros.