fix(engine/fstar): always name binders on `val`s#403

Merged

W95Psp merged 1 commit intomainfrom fix-fstar-interfaces

Jan 5, 2024

+22-4

Commits on Dec 21, 2023

fix(engine/fstar): always name binders on vals
W95Psp
committed