Thanks. I'm new to Zig myself and created this library because I had trouble verifying the correctness of the code I wrote for a set of complex data structures

Thanks. I'm new to Zig myself and created this library because I had trouble verifying the correctness of the code I wrote for a set of complex data structures in another larger Zig project (this one: https://github.com/habedi/ordered https://github.com/habedi/ordered). I'm currently experimenting with how to use DbC in Zig, which led to the creation of this library.