Remove_assert (p.jasmin.2026.03.0.doc.jasmin.jasmin.Jasmin.Remove

val remove_assert_c : 
  'a1 Sopn.asmOp ->
  ('a1 Expr.instr -> 'a1 Expr.instr list) ->
  'a1 Expr.instr list ->
  'a1 Expr.instr list

val remove_assert_i : 'a1 Sopn.asmOp -> 'a1 Expr.instr -> 'a1 Expr.instr list

val remove_assert_fd : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  'a1 Expr.fundef ->
  ('a1, Expr.extra_fun_t) Expr._fundef

val remove_assert_prog : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  'a1 Expr.prog ->
  'a1 Expr.prog