ppx_default The idea is to generate the default value of any record (and inductive types). Check tests to see how it works :)