Additions and corrections in F* core lib.#1292

Merged

maximebuyse merged 1 commit intomainfrom fstar-core-additions-and-fixes

Feb 5, 2025

+26-4

Commits on Feb 4, 2025

Small additions and corrections in F* core lib.
maximebuyse
committed