Commit 2025-01-03 23:29 9b434d1b

fix: make Prod projection delaborators respond to options, add option to disable (#20455) Adds option pp.numericProj.prod to configure whether or not to use x.1 and x.2 rather than x.fst and x.snd. Fixes the delaborators to make sure they respond to pp.fieldNotation and pp.explicit.