Adapt to https://github.com/rocq-prover/rocq/pull/21478#570

Merged

xavierleroy merged 2 commits intoAbsInt:masterfrom

proux01:rocq21478

Jan 27, 2026

Commits on Jan 8, 2026

Adapt to https://github.com/rocq-prover/rocq/pull/21478
proux01
committed

Commits on Jan 27, 2026

Use different, more consistent variable names
xavierleroy
committed