Deriving QCheck Generators for External Types in OCaml May 1, 2026 Recently I’ve been working on durin , a DWARF library for OCaml. I won’t go into the details here but I wanted to share a property testing technique I’ve been using in durin. The DWARF spec is huge (version 5 is just short of 500 pages) and includes many large variant types that can be combined in different ways. To test the…