let pp_assigns_desc fmt a = Wp_error.pp_assigns fmt a.a_assigns