This also came up as a related example: GitHub - janestreet/ppx_typed_fields: GADT-based field accessors and utilities
EDIT: No docs, but what it does is mentioned in this blog post: Jane Street Blog - What the interns have wrought, 2021 edition
This also came up as a related example: GitHub - janestreet/ppx_typed_fields: GADT-based field accessors and utilities
EDIT: No docs, but what it does is mentioned in this blog post: Jane Street Blog - What the interns have wrought, 2021 edition