Library compcert.common.GlobalenvsImpl

Require Globalenvs.
Require Memimpl.


Definition init_mem (F V: Type) := Globalenvs.Genv.init_mem (mem := Memimpl.mem) (F := F) (V := V).