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.

Estimated changes