feat: pp.exprSizes
debugging option
#4286
copyright-header.yml
on: pull_request
check-lean-files
17s
pp.exprSizes
debugging option
#4286