[record] [ci] Overlay for elpi

We re-expose `declare_projections` and `declare_structure_entry` as it
is needed by coq-elpi.

Ideally we would provide a better way in recordops to interact with
this, in fact `declare_structure_entry` is just a wrapper around
recordops + libobject structure so there is hope it goes away entirely
in the future.

The need for Elpi to manually call `declare_projections` should
actually disappear in future refactorings.

0 files changed, 0 insertions, 0 deletions