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