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: Feb 06 2023 at 13:03 UTC