/a> provides generic functions that are built on top the abstract interfaces.</li><li><a href="Bastet/PPX_Let/index.html"><code>Bastet.PPX_Let</code></a> privides helpers for integrating with the <a href="https://opam.ocaml.org/packages/ppx_let">ppx_let</a> package.</li><li><a href="Bastet/Verify/index.html"><code>Bastet.Verify</code></a> provides property based tests to verify that implementations are lawful.</li><li><a href="Bastet/Test/index.html"><code>Bastet.Test</code></a> provides generic tests that 