Slh_lowering.Eval pp_user_error :
Expr.instr_info option ->
Expr.var_info option ->
Compiler_util.pp_error ->
Compiler_util.pp_error_locval cond_not_found :
Expr.instr_info ->
Expr.pexpr option ->
Expr.pexpr ->
Compiler_util.pp_error_locval lvar_variable : Expr.instr_info -> Compiler_util.pp_error_locval expr_variable : Expr.instr_info -> Expr.pexpr -> Compiler_util.pp_error_locval msf_not_found_r :
Expr.var_i ->
Var0.SvExtra.Sv.t ->
Compiler_util.pp_error_locval msf_not_found :
Expr.instr_info ->
Expr.var_i ->
Var0.SvExtra.Sv.t ->
Compiler_util.pp_error_locval invalid_nb_args : Compiler_util.pp_error_locval invalid_nb_lvals : Compiler_util.pp_error_locval cond_uses_mem : Expr.instr_info -> Expr.pexpr -> Compiler_util.pp_error_locval lowering_failed : Expr.instr_info -> Compiler_util.pp_error_locval invalid_type_for_msf : Expr.instr_info -> Compiler_util.pp_error_loc