[declare] Hide internals of variable declaration entries. - #12440

[declare] Hide internals of variable declaration entries.#12440

SkySkimmer merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

ejgallego:proof+local_privateejgallego/coq:proof+local_privateCopy head branch name to clipboard