mit-plv/fiat-crypto

adjust `check_args` so that it knows which functions have been requested

JasonGross opened this issue · 0 comments

The next step after this PR, btw, is to adjust check_args so that it knows which functions have been requested and will only check conditions for the functions that have been requested. I'll aim to do this later today.

Originally posted by @JasonGross in #961 (comment)