Is there any particular reason that there are no functions for integer division in Ltac2.Int?
This seems especially odd since the exception Division_by_zero
is declared
Looks like an oversight, please open a bug report.
Last updated: Apr 20 2024 at 08:02 UTC