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