Introduce and use Senv.inject, Genv.inject, Val.inject_ptr_flat - #593
Open
xavierleroy wants to merge 1 commit into
Open
Introduce and use Senv.inject, Genv.inject, Val.inject_ptr_flat#593xavierleroy wants to merge 1 commit into
Senv.inject, Genv.inject, Val.inject_ptr_flat#593xavierleroy wants to merge 1 commit into
