Commit 2025-08-19 08:36 94117399
View on Github →chore(Tactic/NormNum): make clear the current signature of the core functions (#28624)
This signature was previously obscured by the let rec. This PR does not attempt to improve the signature in any way, that's a job for a follow-up after the diff caused by reordering is gone.