Add a mapper argument for substitute#17

gaohao95 wants to merge 1 commit intoinducer:masterinducer/pymbolic:masterfrom

gaohao95:substitute-mappergaohao95/pymbolic:substitute-mapperCopy head branch name to clipboard