Make type Notation.prim_token_uid private#20911

coqbot-app[bot] merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

SkySkimmer:notation-uidSkySkimmer/rocq:notation-uidCopy head branch name to clipboard