Unrolling (p.jasmin.2025.06.2.doc.jasmin.jasmin.Jasmin.Unrolling)

val map_repeat : ('a1 -> 'a2 * bool) -> 'a1 list -> 'a2 list * bool

val unroll_cmd : 
  'a1 Sopn.asmOp ->
  ('a1 Expr.instr -> 'a1 Expr.instr list * bool) ->
  'a1 Expr.instr list ->
  'a1 Expr.instr list * bool

val assgn : 
  'a1 Sopn.asmOp ->
  Expr.instr_info ->
  Expr.var_i ->
  Expr.pexpr ->
  'a1 Expr.instr

val unroll_i : 'a1 Sopn.asmOp -> 'a1 Expr.instr -> 'a1 Expr.instr list * bool

val unroll_fun : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  'a1 Expr.fun_decl ->
  (Var0.funname * ('a1, Expr.extra_fun_t) Expr._fundef) * bool

val unroll_prog : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  'a1 Expr.prog ->
  'a1 Expr.prog * bool