E (p.jasmin.2025.06.2.doc.jasmin.jasmin.Jasmin.Linearization.E)

val pass_name : string

val my_error : Compiler_util.pp_error -> Compiler_util.pp_error_loc

val gen_error : 
  bool ->
  Expr.instr_info option ->
  Compiler_util.pp_error ->
  Compiler_util.pp_error_loc

val ii_error : Expr.instr_info -> string -> Compiler_util.pp_error_loc

val error : string -> Compiler_util.pp_error_loc

val internal_error : string -> Compiler_util.pp_error_loc

val assign_remains : 
  Expr.instr_info ->
  Expr.lval ->
  Expr.pexpr ->
  Compiler_util.pp_error_loc