Make unscoped.v compatible with double-blind review#25

yforster wants to merge 1 commit intorocq-9.0uds-psl/autosubst-ocaml:rocq-9.0from

yforster-patch-1uds-psl/autosubst-ocaml:yforster-patch-1Copy head branch name to clipboard