skylabs.prelude.dummy

Local Set Warnings "-abstract-large-number".
Definition ____________vendored_rocq_elpi_etc_shafile_exe := 0x1eaecc6dcbc18f3a5b99ca89502f1a3b.
Definition elpi_coq_elpi := 0x04a21515fa22cb15f39d1c2ee46b4bbc.