Small changes in the internal APIs for Wasm#1654

Merged

hhugo merged 5 commits intoocsigen:masterfrom

OlivierNicole:converge-jsoo-tip-06

Aug 25, 2024

Commits on Aug 25, 2024

Generate: export source_location

vouillon
authored and
hhugo
committed
Code: additional fold functions

vouillon
authored and
hhugo
committed
Stdlib additions

vouillon
authored and
hhugo
committed
Fs: additional functions

vouillon
authored and
hhugo
committed
Expose some functions from Freevars

vouillon
authored and
hhugo
committed