Make f (x:=e)%s parse as f (x:=e%s) instead of (f (x:=e))%s - #22357

Make f (x:=e)%s parse as f (x:=e%s) instead of (f (x:=e))%s#22357

coqbot-app[bot] merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

SkySkimmer:arg-scopeSkySkimmer/rocq:arg-scopeCopy head branch name to clipboard