fix: expose Int* definitions for simprocs and decide (fixes #10546)
#18384
datokratcopyright-header.yml
on: pull_request
check-lean-files
34s