Add an option to not print primitive projection parameters, which can make printing exponentially slower. We would have to expand all projections at once before detyping to make this linear.
Add an option to not print primitive projection parameters, which can
make printing exponentially slower. We would have to expand all projections
at once before detyping to make this linear.

barras/coq,letouzey/coq-wip,mlasson/coq,ejgallego/coq,amintimany/coq,maximedenes/coq,SkySkimmer/coq,letouzey/coq-wip,Zimmi48/coq,JasonGross/coq,shindere/coq,aspiwack/coq,Ptival/coq,pirapira/coq2rust,ale-f/coq,herbelin/github-coq,asr/coq,gares/coq,ppedrot/coq,ale-f/coq,letouzey/coq-wip,maximedenes/coq,gares/coq,coq/coq,8l/coq,william-lawvere/coq,maximedenes/coq,ppedrot/coq,gares/coq,ppedrot/coq,asr/coq,ppedrot/coq,TheTypoMaster/coq,letouzey/coq-wip,silene/coq,TheTypoMaster/coq,Matafou/coq,ejgallego/coq,TOSPIO/coq,JasonGross/coq,gmalecha/coq,barras/coq,ale-f/coq,ppedrot/coq,gmalecha/coq,SkySkimmer/coq,Zimmi48/coq,maximedenes/coq,herbelin/github-coq,pirapira/coq2rust,coq/coq,TOSPIO/coq,Matafou/coq,SkySkimmer/coq,mattam82/coq,TheTypoMaster/coq,Lionel-Rieg/coq,william-lawvere/coq,Ptival/coq,aspiwack/coq,gares/coq,asr/coq,shindere/coq,Lionel-Rieg/coq,coq/coq,william-lawvere/coq,JasonGross/coq,shindere/coq,mattam82/coq,coq/coq,Zimmi48/coq,mattam82/coq,Zimmi48/coq,barras/coq,jpdeplaix/coq,gares/coq,pirapira/coq2rust,Ptival/coq,maximedenes/coq,mlasson/coq,gmalecha/coq,aspiwack/coq,TOSPIO/coq,ejgallego/coq,silene/coq,jpdeplaix/coq,mlasson/coq,letouzey/coq-wip,amintimany/coq,8l/coq,silene/coq,jpdeplaix/coq,8l/coq,herbelin/github-coq,Lionel-Rieg/coq,ejgallego/coq,Matafou/coq,JasonGross/coq,SkySkimmer/coq,amintimany/coq