Jasmin.Array_initval remove_init_i :
'a1 Sopn.asmOp ->
(Var0.Var.var -> bool) ->
'a1 Expr.instr ->
'a1 Expr.instr listval remove_init_c :
'a1 Sopn.asmOp ->
(Var0.Var.var -> bool) ->
'a1 Expr.instr list ->
'a1 Expr.instr listval remove_init_fd :
'a1 Sopn.asmOp ->
(Var0.Var.var -> bool) ->
Expr.progT ->
'a1 Expr.fundef ->
('a1, Expr.extra_fun_t) Expr._fundefval remove_init_prog :
'a1 Sopn.asmOp ->
(Var0.Var.var -> bool) ->
Expr.progT ->
'a1 Expr.prog ->
'a1 Expr.progval add_init_c :
'a1 Sopn.asmOp ->
(Var0.SvExtra.Sv.t ->
'a1 Expr.instr ->
'a1 Expr.instr list * Var0.SvExtra.Sv.t) ->
Var0.SvExtra.Sv.t ->
'a1 Expr.instr list ->
'a1 Expr.instr list * Var0.SvExtra.Sv.tval add_init_aux :
'a1 Sopn.asmOp ->
Expr.instr_info ->
Var0.Var.var ->
'a1 Expr.instr list ->
'a1 Expr.instr listval add_init :
'a1 Sopn.asmOp ->
Expr.instr_info ->
Var0.SvExtra.Sv.t ->
Var0.SvExtra.Sv.t ->
'a1 Expr.instr ->
'a1 Expr.instr listval add_init_i :
'a1 Sopn.asmOp ->
Var0.SvExtra.Sv.t ->
'a1 Expr.instr ->
'a1 Expr.instr list * Var0.SvExtra.Sv.tval add_init_fd :
'a1 Sopn.asmOp ->
Expr.progT ->
'a1 Expr.fundef ->
('a1, Expr.extra_fun_t) Expr._fundefval add_init_prog :
'a1 Sopn.asmOp ->
Expr.progT ->
'a1 Expr.prog ->
'a1 Expr.prog