I am calling a function recursively n time. Is it possible to stop the function early at some value r(nat) ? How i should write it? Now match both n and r?

match Nat.eqb n r

Nat.eqb n r

Last updated: Jun 18 2024 at 22:01 UTC