genv_t, GenMem.mem) Types.prod **)
let add_globals extract_init init_env vars =
Util.foldl (fun g_st id_init ->
- let { Types.fst = eta1345; Types.snd = init_info } = id_init in
- let { Types.fst = id; Types.snd = r } = eta1345 in
+ let { Types.fst = eta1367; Types.snd = init_info } = id_init in
+ let { Types.fst = id; Types.snd = r } = eta1367 in
let init = extract_init init_info in
let { Types.fst = g; Types.snd = st } = g_st in
let { Types.fst = st'; Types.snd = b } =
GenMem.mem Errors.res **)
let init_globals extract_init g m vars =
Util.foldl (fun st id_init ->
- let { Types.fst = eta1346; Types.snd = init_info } = id_init in
- let { Types.fst = id; Types.snd = r } = eta1346 in
+ let { Types.fst = eta1368; Types.snd = init_info } = id_init in
+ let { Types.fst = id; Types.snd = r } = eta1368 in
let init = extract_init init_info in
Obj.magic
(Monad.m_bind0 (Monad.max_def Errors.res0) (Obj.magic st) (fun st0 ->